On Sunday, 22 May 2016 at 10:48:11 UTC, Vladimir Panteleev wrote:
Pretty weird of GitHub considering I've been a user for many years and authored / contributed to a lot of projects. I guess we'll see how long it takes GitHub support to respond. If it takes too long we could move the CI service to another account I suppose.
And we're back online. That was fast! No message from GitHub, perhaps the unblock was automatic too.
