to be fair, git != github is an important distinction that many fail to grasp. we had a manager who conflated the two, meetings were peppered with things like "do a github pull", "will he be able to log in to the repository on his new machine", "i can't find any good tutorials on setting up a git wiki", etc.