I would prefer if GitHub wasn’t down right now. 🙂 It has become such a critical part of everyday tasks like deploying bug fixes. Wishing good luck to the Microsoft folks who are probably scrambling to fix whatever happened.