Heads up: docs CI is down

[Vladimir Panteleev via Digitalmars-d]

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.