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).