Github still not working properly. Probably a lot of machines to manually reboot