Github is not something that most devs use much of the time. It is really there to provide the open source code for the public. Any real dev is using a Git server of their own to share with the team or, if there is no team, they may not even need to have up to date code in multiple locations or they use a simpler method.