..or are we all in this thread just not talking about GitHub, it's a necessary evil, etc.?
I feel like it is getting longer and longer between the next biggest social media, but there has been a lot of chat clients over the past 2 decades. I don't think many people have any company loyalty in this market. The main thing people care about is that the people they want to chat with are already there. If people start moving to something new for whatever reason then everyone else will likely follow.
Gitlab's reported growth numbers are down year-over-year. Meanwhile GitHub reached its user growth target of 100M developers an entire year ahead of schedule.
I do not believe that any large portion of people are migrating to GitHub alternatives. Most people like / are excited by Copilot, not the other way around.
It's the turtle: https://xkcd.com/889/