A service to allow anonymous PubSubHubbub compliant subscriptions to GitHub repos