In case I forget to do `git push`, I need to type again. Would be nice to have the pull request written down in terminal.