5 Jun
2018
5 Jun
'18
8:02 p.m.
Plus, like people said, its decentralized. If they suddenly go nuts and delete everything, you can just, though its a major PITA, just upload a copy of the repo to a new server and change url's. If you want to be paranoid about it, have a domain name that just aliases to github and then if shit hits the fan point it elsewhere.
Do you know we have git.reactos.org?