(pr)pull request, pullify and undopush commands are copied from https://github.com/jvandijk/dotfiles/.gitconfig