Is the number 250k projects (are projects repos?) in first 24 hours? I thought it was topping 100K repos imported to Gitlab at some point on Tuesday. This is from Gitlab giving those numbers themselves in a post that was linked from here.

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.