Handle mirrors in "Add repo" preview better
This MR includes changes to better handle the (user) mirrors in the "Add repo" preview flow.
Changes:
- Show the URL of the mirror being added (below the repo URL)
- If the mirror was already added, say "mirror" instead of "repository" in the red error message
- Add a small blurb text to explain that this is a mirror of another repo.
- Explain (in the button and in the new info text) that the upstream repo will be added, too, when you add a mirror without already having the upstream repo. To test this case, delete the F-Droid main repo, and then add it again by adding a user mirror.
See the individual commits, which should be fairly self-explanatory.
Screenshots
The first three screenshots show the changes. The last screenshot (adding the Guardian Project repo) has no change and is just for comparison).
![](/-/project/36189/uploads/2dcda5b4342df98715c8c3c012fd921c/e0e44b84-8d78-4c3c-a8e2-19e66284a31b.png)
![](/-/project/36189/uploads/e342197044442e68e455cdbbe24c9502/63258234-7e9f-4fe5-ac64-8bd7cec454b1.png)
![](/-/project/36189/uploads/370b798d055e66960ae598e51c724916/7e59eaaa-1c38-48b3-9385-2b5c0e499f59.png)
![](/-/project/36189/uploads/09e71cb5c1402b3b3f8424fb30f2bf99/bd99b294-096e-440a-b6c6-e02d58333b75.png)
Closes #2801 (closed)
Edited by Torsten Grote