Microsoft compra GitHub e alguns desenvolvedores já procuram alternativas