given git is decentralized, my guess is github is just a public mirror.