Comment by PokestarFan

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