[chrisjj]

> We should make an alternative git site, but how to acquire users?

Buy ad space on Github's outage page?