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.
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).