fixes #6392 - make repository names editable

Thanks, fixed.