10-03-2015, 11:12 PM
After mucking about in the GitHub repo's webhook list, I discovered that we're trying to send hook calls to sourcegraph.com, but all the hook deliveries keep failing. So, three questions: What is SourceGraph, who's got some login there and do we need to keep the webhook or can I disable / remove it?