We have reached the 10,000 star mark.

[deeprobin]

[tfenise]

Still behind coreclr or corefx.

[Joe4evr]

Those repos are effectively dead, tho.

[deeprobin]

Let ask Github support to transfer the stars 😂

[stephentoub]

Does number of stars matter for anything more than as a vanity metric?

[deeprobin]

There is a most stars ranking from GitHub :)
The higher we get, the more likely people will find this repository.