gitconfig: remove old alias