If they made Git decentralised, so that you could mirror stuff on github, it might solve that issue!