gitconfig: a few new aliases