It’s the first major change to GitHub since losing its CEO.
"GitHub is just not the place anymore where developers are storing code," one top Microsoft executive warned.