Corporate will move off GitHub as soon as it loses prestige and they will move on to the next thing.