.gitconfig: add an alias to ease the use of Pull Requests