Github has been really messed up this morning.
I have this repository: https://github.com/ZiCog/xoroshiro-plusplus/tree/master/src/main/scala/XoroshiroPlusPlus
which is a week old and to which I pushed changes some hours ago. If I poke around in the files there I often get a 404 Not Found Error. Sometimes a red alert appears on the page announcing that it cannot supply the latest commits at this time.
To make things more interesting some hours ago I renamed that repo to just "xoroshiro". Well https://github.com/ZiCog/xoroshiro
is 404 Not Found.
But in my home page xoroshiro was listed as one of my repos earlier today and I was able to surf it. Not any more.
Basically, github is serving up random files or randomly saying things are not found.
At one point I could not clone either of these as git clone said it could not find them at all!
Seems it not just me:
And MS hasn't even taken over github yet
Luckily git is a distributed system. Even if github disappeared all together things can just keep rolling along here.