fixes #6392 - make repository names editable

Ah, I see.  I used the example for URL on line 65, which also checks repository.readonly -- should I change that to product too?