Refify pull requests by making them a ref in the repository (BB-7014)
In Github, pull requests sent to repo can be accessed via
This enables things like Travis CI to work.
I'd like the pull request be reified here, as well, so I can access it from git itself.
Also, allow to list pull requests (possibly with filtering for open ones only), but there is
#3442 for this.