Using the Khan repository mirrors

Khan has mirrors of all the repositorries that we host on github.  These mirrors are synced from github every 5 minutes.

Right now, read-only access is supported on our mirrors.  To use them, run e.g.
git clone git://

Note that this is just a mirror, and you should prefer the github location unless that's impossible for some reason (such as, github is down).