Was it the platform or the people? The people would be out there doing things without GitHub and they will be there doing things without GitHub.