Though I actually think this will be a good test of how GitHub's new owner reacts when faced with an issue of community versus corporation.