I'm not too worried about this. People who actually use git on a day-to-day basis shouldn't have any such misunderstanding. They may not even use GitHub for such work (I know I don't).