Minor tweaks to .gitconfig