Comment by Finster

Looks like github is down, and aws is having issues, too.

https://downdetector.com/

I should've stayed in bed