I agree that the social aspect "where everyone is" is important, but crucially it's also not a fixed state. When GitHub started, SourceForge was where everything was. Over the next 15 years something else may displace GitHub, especially if there is a concerted, conscious effort to do so. Then again, it may not.