Closed
Description
It can cause inconvenience for a while but will be beneficial for this project.
Github provides some references for this:
https://github.com/github/renaming
https://github.blog/changelog/2020-08-26-set-the-default-branch-for-newly-created-repositories/
Though I have to practice renaming in some personal projects.