Three tools to ease the life of Open Source developers:
- Command line Git module for working with GitHub, specifically GitHub PRs
- A bot
- An analytics dashboard (stalled PRs & discussions, time since last comment, etc.)
git hub pr -
: Pulls down and checkout the branch of the pr.git hub push
: Pushes changes back to a branch.git hub sync
: Updates and saves pull-requestsgit hub search -
: Searches saved PRs to find any that match search keywords.git hub image -
: Creates image of open pull requests over time.git hub render -
: Create html file of statistics of pull requests and issues about the project.