chiark / gitweb /
Tag change: Rename debiantag to debiantag_old
[dgit.git] / infra / dgit-repos-admin-debian
index 926431bfaf96f401b4c93470fd1e7e18242e0bb7..e292bfa70e9e4c6e94c8cc1d8eb1366b84b36c04 100755 (executable)
@@ -1,6 +1,11 @@
 #!/usr/bin/perl -w
 # dgit repos policy admin script for Debian
 
+use strict;
+
+use Debian::Dgit;
+setup_sigwarn();
+
 our $usage = <<'END';
 usage:
   dgit-repos-admin-debian [<options>] operation...
@@ -16,11 +21,9 @@ operations:
   untaint [--global|<package>] <gitobjid>
 END
 
-use strict;
 use POSIX;
 use DBI;
 
-use Debian::Dgit;
 use Debian::Dgit::Policy::Debian;
 
 sub badusage ($) { die "bad usage: $_[0]\n$usage"; }