Merge branch 'master' of ssh://puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet

diff --combined modules/debian-org/misc/local.yaml
index 3436b494af1eccb4ed7bd96d57ccba2a1e6c7d06,716517541e938493e558ac45bcb5ecbba858e61d..fa3f42dcf4398d410b5331f152a7e7290219062b
--- 1/modules/debian-org/misc/local.yaml
--- 2/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@@ -260,7 -260,6 +260,7 @@@ host_settings
      - morricone.debian.org
      - murphy.debian.org
      - nono.debian.org
 +    - pergolesi.debian.org
      - pettersson.debian.org
      - piatti.debian.org
      - quantz.debian.org
@@@ -271,6 -270,7 +271,7 @@@
      - ries.debian.org
      - rietz.debian.org
      - rossini.debian.org
+     - saens.debian.org
      - salieri.debian.org
      - samosa.debian.org
      - santoro.debian.org
@@@ -278,6 -278,7 +279,7 @@@
      - schein.debian.org
      - schuetz.debian.org
      - schumann.debian.org
+     - senfl.debian.org
      - sibelius.debian.org
      - smetana.debian.org
      - soler.debian.org