github-pr topic

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.

foosel

A Gradle plugin that helps facilitate GitHub PR checking and automatic commenting of violations.

btkelly

Show the source tree on the github PR

picheli20

Create GitHub's compare view URLs for pull request from diff of Gemfile.lock (and post comment to pull request).

masutaka