Github repository on git.arduino.cc ?

Even after yesterday's all-day forum outage?