Closed kadrlica closed 5 months ago
Should be done. Will require users to update their local clones.
See more here: https://github.com/github/renaming https://docs.github.com/en/github/administering-a-repository/managing-branches-in-your-repository/renaming-a-branch
Should be done. Will require users to update their local clones.
See more here: https://github.com/github/renaming https://docs.github.com/en/github/administering-a-repository/managing-branches-in-your-repository/renaming-a-branch