Comment by sandermvanvliet

If you've been hit with Github going down at the worst time like when you're just trying to get your PR merged I've got something for you.

Before you start work you can check for omens that tell you if Github is likely to work or go down.

(Yes this is a joke, it's comic relief more than anything else)