7 ms·

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