Interesting, and also...a lie? Or he thinks the 250,000 projects migrated to gitlab within 24 hours of the news that Microsoft was going anywhere near GitHub is a small number.
If nodejs, google, and other big names/organizations decides to leave, then I think it is time for Microsoft to worry.
The first hint of Microsoft and GitHub was around 6 pm EDT/11 pm UTC on Sunday.
And like others are saying. Even if that is the case, it isn’t a huge number with context of Github’s size.