gitconfig: added aliases for pull and push