fixes #6392 - make repository names editable