Is it possible to download a zip of a repo through the GUI?

Yeah, this is not good. I've experienced other outages on their other products (e.g. GitHub Actions), but not even being able to do a basic git pull is an entirely different level.

I'm effectively dead in the water here. I guess I'll go touch some grass. Thank you to the SRE's who are looking at this.

Looking forward to a blogpost or writeup from github on this.