add jenkins

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 3caf707af818e2a7cc8171215af8b6e95815d175..c07ad846a5f483c63682f9cf851205deb89d2e22 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -54,6 +54,7 @@ nameinfo:
   heininen.debian.org: Paavo Heininen (January 13th, 1938)
   hoiby.debian.org: Lee Henry Hoiby (February 17th, 1926 - March 28th, 2011)
   holter.debian.org: Iver Holter (December 13th, 1850 - January 27th, 1941)
+  jenkins.debian.org: John Jenkins (1592 - 1678)
   kassia.debian.org: Kassia (between 805 and 810 - bef. 867)
   kaufmann.debian.org: Georg Friedrich Kauffmann (February 14th, 1679 - February 27th, 1735)
   klecker.debian.org: Dedicated to Joel 'Espy' Klecker (1979 - July 11th, 2000)
@@ -295,6 +296,7 @@ host_settings:
     - handel.debian.org
     - heininen.debian.org
     - holter.debian.org
+    - jenkins.debian.org
     - kassia.debian.org
     - kaufmann.debian.org
     - kokkonen.debian.org
@@ -418,6 +420,7 @@ host_settings:
     henze.debian.org: mailout.debian.org
     hoiby.debian.org: mailout.debian.org
     holter.debian.org: mailout.debian.org
+    jenkins.debian.org: mailout.debian.org
     kassia.debian.org: mailout.debian.org
     kaufmann.debian.org: mailout.debian.org
     krenek.debian.org: mailout.debian.org