Add people.do to DSA_IPs

diff --git a/modules/ferm/templates/defs.conf.erb b/modules/ferm/templates/defs.conf.erb
index 1e19a00..885fb65 100644 (file)
--- a/modules/ferm/templates/defs.conf.erb
+++ b/modules/ferm/templates/defs.conf.erb
@@ -107,7 +107,8 @@
 @def $jcristau = ();
 @def $jcristau = ($jcristau 82.225.74.107/32); # home
 @def $master   = (82.195.75.110); # master.debian.org
-@def $DSA_IPS = ($sgran $weasel $zobel $luca $tfheen $jcristau $master);
+@def $people   = (5.153.231.30); # paradise.debian.org
+@def $DSA_IPS = ($sgran $weasel $zobel $luca $tfheen $jcristau $master $people);
 
 @def $sgran6     = (2001:4b10:100b::/48);
 @def $sgran6     = ($sgran6 2001:4b10:0000:810b::/64);