New github-pull-request-notifier because it's broken