Allow the priorities of repos to be changed via the UI

Open username-removed-25042 requested to merge pserwylo/fdroidclient:repo-priorities into master

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.


Merge request reports