fixes #6392 - make repository names editable

@waldenraines Rebasing worked, thanks!