So apparently Microsoft is buying Github...