From 7aa9a739fcec96edd876d6c14e2933974da0052a Mon Sep 17 00:00:00 2001 From: Aurelien Jarno Date: Sat, 22 Aug 2015 00:59:27 +0200 Subject: [PATCH] buildd.conf: add puppet header --- modules/buildd/files/buildd.conf | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/modules/buildd/files/buildd.conf b/modules/buildd/files/buildd.conf index 8862c63ee..7bd496582 100644 --- a/modules/buildd/files/buildd.conf +++ b/modules/buildd/files/buildd.conf @@ -1,3 +1,8 @@ +## +## 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 +## + $admin_mail = 'buildd-porters@localhost'; $nice_level = 0; $log_queued_messages = 1; -- 2.20.1