While the patches are being merged for the official docker images, perfect time for a github outage! https://downdetector.com/status/github/