Comment by aleffert

I wrote a Github menu bar app for pull requests. Code is here: https://github.com/aleffert/PullRequestMenu