What if Microsoft’s first GitHub change were to open-source the hosting infrastructure? Would quell concerns and be a huge PR win.