New git aliases, better config
New git aliases, better config

Remove abbrev commit from usual log, generally bad idea.

Turn off auto-pruning, better safe than sorry.

Graham42/dot_files,Graham42/dot_files