Try something

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index d7b3406d2d1d3409e261e0f91740acdfb54aa8e3..7e73fee5f3e7236cb050ec71a8f07882de369d9c 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -290,6 +290,7 @@ host_settings:
     - salieri.debian.org
   static_master:
     - bizet.debian.org
+    - franck.debian.org
   static_mirror:
     - klecker.debian.org
     - rietz.debian.org