fixes #6392 - make repository names editable

Please remove the pasted `>` on the end of the line here, that's what is causing the build to fail.