Comment by serial_dev

Wanting to leave is not the same as actually leaving. I can imagine small teams leaving because moving a 10-30 member team is easy. If you have a dev team with 500 members and the team has been on GitHub for 10 years, you will just take it because migrating is just a PITA.