F-Droid: Infrastructure-as-code migration

https://f-droid.org/en/2023/10/02/infrastructure-as-code-migration.html