Github Is Having Trouble!

Just an FYI: Github is having serious back-end problems. You’ll see inconsistencies if you try to use it. I’d avoid committing or commenting till this clears up:

Looks like they are recovering now, slowly. They claim this was a website, metadata failure only and git repositories were not affected:

The are reporting green again.