.gitconfig: add "pullify" alias for working with github pull requests