Github was down so much, I was surprised that they didn't use Copilot to fix their issues