Something built

RSS So, once upon a time I made a PR monitor for GitHub so I could get an aggregate view of all the PRs in all our org's repos, and stay on…