You seem to conflate “GitHub users” with “[people] who use git/source code control”. That is almost the opposite of a point that I wanted to make. It is obvious that GitHub would have many popular web projects, but if one could sum up git projects instead, this would probably not be the case.