[dingi]

I hope this was not due to MS kissing CCPs butt.

[waterplayer]

In this case, it's much better because they can just move to bitbucket or so.

fyi, github has been blocked in China since 2020 (at least partially blocked).