Renaming repo with lowercase version of original name

Hello,

Just a small issue I noticed. When trying to rename a repo from "Myrepo" to "myrepo" i got a warning message saying a repo with that name already existed. The workaround was trivial: renaming to something different, then renaming to my desired lowercase version.