Comment by ru999gol

this whole story probably just boils down to people not understanding the difference between github and git.