GitHub was folded into Microsoft's "CoreAI" team. Not very confidence-inspiring.