PRM - Pull Request Manager
If you are a maintainer of Open Source Software, you need to review a lot of PR, this tool is made for you.
With the GitHub feature "repository maintainer permissions on existing pull requests", now we can edit real PR branch. This tool allow to easily manage PR branches and remotes.
- Checkout a PR (interactively or by its number)
- Remove a PR (interactively or by its number)
- Remove all "checkouted" PRs for a project.
- Push on a PR.
- Display all "checkouted" PR (for a project or for all projects)
- Manage all your repositories.
- Save your configuration:
- Only works with GitHub.