Add pinel to heavy-exim

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index b291ca5..3842f8a 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -154,6 +154,7 @@ host_settings:
     - master.debian.org
     - nono.debian.org
     - picconi.debian.org
+    - pinel.debian.org
     - popov.debian.org
     - quantz.debian.org
     - reger.debian.org