Hans-Christoph Steiner 23d9f0ed50 mirror-to-mirror.sh: replace mirror.f-droid.org with ftp.agdsn.de ...

* ftp.agdsn.de is a new official mirror that receives push updates.
* mirror.f-droid.org is no more, it is now a DNS round robin redirector.

admin#247
admin#298

[skip ci]

2022-05-02 14:21:35 +02:00

..

config.yml

…

fdroid_export_keystore_to_nitrokey.py

…

fdroid_exportkeystore.py

…

fdroid_extract_repo_pubkey.py

…

fdroid_fetchsrclibs.py

…

fdroid_nitrokeyimport.py

…

makebuildserver.config.py

…

mirror-to-mirror.sh

…

opensc-fdroid.cfg

…

public-read-only-s3-bucket-policy.json

…

template.yml

…