fixes #6392 - make repository names editable

Interesting.  That actually doesn't actually work for me.