Given that github is imploding under a lot of load, everyone leaving github for something else, actually makes github better.