Tweaks to repository management dialogs
Dimitris identified a few pain points with the current repository management dialogs:
- "Freeze repo" doesn't make sense when you're adding a repo (and in fact, it's already disabled - just hide it).
- The text that says "Change the authentication credentials" when editing a repository does not make sense if there are no credentials to edit for the given repository type.