That might be short sighted. Allowing github to grow and being careful about leveraging it is a wise in the long run.

If github gets bloated with bad ideas and microsoft specific features the community will leave.