Editing repository name case sensitivity

Admin -> Repository details

Changing the repo name for example from lowercase "myrepo" to "Myrepo" fails with an error message that a repository with this name is already existing.