3 ms·

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