github failed at the only thing they should do: git

Yes, I know GitHub does a lot more than Git these days. But that is exactly why this story is so funny in the worst possible way. When a company built around Git takes a critical hit in the git push pipeline, my reaction is pretty simple: guys, this was the one thing you absolutely had to not mess u