Repository Priority

[Kladki]

Describe your suggested feature

Sometimes, multiple repos provide some of the same extensions. In the repository list settings, you should be able to order the repositories, meaning that if two provide the same extension, the one from the higher repository will be shown (by default)

Other details

Something like #152 could be used if there are exceptions, or just using the mentioned repo display, make it a dropdown to select which repo you want to use for that particular extension.

Acknowledgements

• I have searched the existing issues and this is a new ticket, NOT a duplicate or related to another open or closed issue.
• I have written a short but informative title.
• I have updated the app to version 0.17.1.
• I will fill out all of the requested information in this form.