> That said, the GitHub team reports that the set of users who have migrated or closed their accounts is extremely small, and this is more than made up for by the surge of new signups and new interest in GitHub this week. It's interesting to hear this. If you were on HN the past week, it might have seemed from all the front page articles that GitHub was about to implode due to an an exodus to GitLab.
The number of repos that were imported to Gitlab via their GitHub importer had crosses 100K on Tuesday if my memory serves me right. GitHub has 75M repos, I believe. For now, the migration has been potentially significant, but too early to tell.
Overall, I’m sure there’s something to glean from places like HN and some parts of Reddit, and other similar places. What exactly you can take away, I’m not sure about yet.
There was a front-page article of some survey that was saying something like 40% of people were going to or already did delete Facebook. Not a correct number of course.