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?