fixes #6392 - make repository names editable

Fixed, and actually need to check product.redhat otherwise users will be able to edit them.

Maybe repository-info.html should also be DRYer?  Not quite sure how yet, still learning AngularJS.