4 ms·given git is decentralized, my guess is github is just a public mirror.by prmoustache 9mo agogiven git is decentralized, my guess is github is just a public mirror.