Comment by Animats

Github is becoming too important. A routine backup system is needed, something like archive.org, that backs up important Github projects.