Details
-
Suggestion
-
Resolution: Fixed
Description
It is sometimes useful to be able to change the name of a project. However, doing this changes the name of the repository, thus everyone using the repo now has to update to the new repo name.
There should be two settings: the name of the project and the repo's name. That way, if you choose an unfortunate repo name initially, you can still use it while changing the project's name.