add mirrors to official mirrors list
It is time to include a couple mirrors in the official mirrors list of f-droid.org:
- mirror support has been in place in the client for a year
- Guardian Project repo has included official mirrors for many months
- we have mirrors from major mirror providers
- mirrors are monitored with history: https://fdroid.gitlab.io/mirror-monitor
- f-droid.org is getting overwhelmed often these days
To add the mirrors, add this anywhere in the config.py:
mirrors = [
'https://ftp.fau.de/fdroid',
'https://mirror.cyberbits.eu/fdroid',
'https://fdroid.tetaneutral.net/fdroid',
]