+##
+## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
+## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
+##
+
# every hour, kill all puppet jobs that are lingering around, i.e. all
# processes whose parent is init, and who have lived for longer than an hour
# (if they lived for 10 hours then they get to live an hour longer because