git-addons: add a script to help fetch pull requests from GitHub