0.12.6dev: verify that the repository name is unique in `RepositoryManager.modify_repository`
Closes #11194.
Authored by: jomae 2013-06-01
Parent: [r11805]
Child: [r11807]