X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=infra%2Fdgit-repos-admin-debian;h=6d1e4d03d686ce2df9c15494145eb7c829ffd4ca;hp=e292bfa70e9e4c6e94c8cc1d8eb1366b84b36c04;hb=e13fa49a03cd782945cf142fa94232a183b8e753;hpb=182693923d60c6e869e7c07b113bf65bce816f3f

diff --git a/infra/dgit-repos-admin-debian b/infra/dgit-repos-admin-debian
index e292bfa7..6d1e4d03 100755
--- a/infra/dgit-repos-admin-debian
+++ b/infra/dgit-repos-admin-debian
@@ -1,8 +1,24 @@
 #!/usr/bin/perl -w
 # dgit repos policy admin script for Debian
+#
+# Copyright (C) 2015-2016  Ian Jackson
+#
+#    This program is free software; you can redistribute it and/or modify
+#    it under the terms of the GNU General Public License as published by
+#    the Free Software Foundation; either version 3 of the License, or
+#    (at your option) any later version.
+#
+#    This program is distributed in the hope that it will be useful,
+#    but WITHOUT ANY WARRANTY; without even the implied warranty of
+#    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+#    GNU General Public License for more details.
+#
+#    You should have received a copy of the GNU General Public License
+#    along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 use strict;
 
+use Debian::Dgit::Infra; # must precede Debian::Dgit; - can change @INC!
 use Debian::Dgit;
 setup_sigwarn();