WIP: Allow the priorities of repos to be changed via the UI
An earlier change improved support for repo priorities, however it didn't add a UI to change these priorities. This change adds support in the UI for changing repo priorities.
Edited by Hans-Christoph Steiner