Fix issue of Github when star repo. Reference: https://github.com/orgs/community/discussions/69366
As of 2023-10-27. See the latest version.