Well it's more that they accepted reality (git and github had the network effect) and moved on.
The number of programers in the world is going to follow an exponential curve. By 2032 there will be more programmers than all the atoms in all the stars of the known universe.
Well it's more that they accepted reality (git and github had the network effect) and moved on.