git fetching: Move lrfetch* down in the file

[dgit.git] / infra / dgit-repos-admin-debian

diff --git a/infra/dgit-repos-admin-debian b/infra/dgit-repos-admin-debian
index e292bfa70e9e4c6e94c8cc1d8eb1366b84b36c04..6d1e4d03d686ce2df9c15494145eb7c829ffd4ca 100755 (executable)
--- 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();