Github repository on git.arduino.cc ?

Yeah, it's pretty funny to read the replies on Twitter when GitHub or Travis CI announce an outage.

Of course we should always have our own backups but it's doesn't really seem worthwhile to maintain backup infrastructure to retain the ability to easily collaborate considering the decent uptime of these services. GitHub has been really reliable. Travis CI is a bit patchy but still not too bad.