Github repository on git.arduino.cc ?

pert:
Even after yesterday's all-day forum outage?

Well, having the repo go down occasionally is a great way to teach people to not rely on the repo always being available.