There are 1 repository under github-pr topic.
Show the source tree on the github PR
A bot for managing Github issues. Currently only supports approving and autolabeling newly created issues, more ideas in the works. Provided as is, no maintenance beyond my own needs, no support.
Create GitHub's compare view URLs for pull request from diff of Gemfile.lock (and post comment to pull request).
Export GitHub Issues and Pull Requests to CSV and JSON from your Terminal or Node.js app.
PReam-Team is a TUI utility that helps you keep track of your teams PRs across multiple repositories 💪
Chrome Extension for listing GitHub Pull Request file changes with Markdown markup.
A variety of custom issue and pull request templates, and contributing guidelines.
A helper application to iterate through every commit of a Github PR, running a given command.
A google chrome extension that shows the status of each travis environment for a github PR
Export GitHub PR and Issues as CSV
Open a GitHub PR by sending a patch file by email.
Bash/python script to manage github issues & pull requests
Force render imgs in commit and PR pages