github had some problems last night / this morning with their storage service.
Problem should have been solved by now, but social media highlithed
some reports of people having some of the most recent commits; in some
cases pull requests.
Nothing to panic about as git is well distributed and we all have replicas :)
So let's take advante of its design and perform a consensus check:
could you all please make sure that what you've recently pushed is still there?
I don't expect we'll find any discrepancies, but if you do please
report them here.
Show replies by date