CLI tool to manage GitHub PRs
If you don't use pipsi
, you're missing out.
Here are installation instructions.
Simply run:
$ pipsi install github-pull-request
Otherwise with pip:
$ pip install github-pull-request
You must setup a github access token in order to be able to get or merge pull requests. To set one up:
- Got to GitHub -> Settings
- Click on Personal Access Tokens
- Click on Generate new token
- Select repo access, this should allow both listing and merging
- Copy the token and use type this into your shell
export GITHUB_ACCESS_TOKEN=[your token]
- For best results, put the line above in your
.bashrc
file
To use it:
$ git pr ls # or
$ git pr -h # for more options