Do fun things with your GitHub PRs