git-pr facilitates GitHub pull requests