Christoph Reiter 289a0c9938 Fix switching to the main mirror ...

The config files have changed in the mean time.

2021-11-23 09:57:15 +01:00

..

build.yml

Fix switching to the main mirror

2021-11-23 09:57:15 +01:00