gitconfig: added alias "p = push"