No ext_urls

[public-inbox.git] / script / public-inbox-fetch

diff --git a/script/public-inbox-fetch b/script/public-inbox-fetch
index f9bac4e3f582013824b98d98bde60808cbf61d73..6fd15328a96e5783e9ce1a466db914b38da40034 100755 (executable)
--- a/script/public-inbox-fetch
+++ b/script/public-inbox-fetch
@@ -2,8 +2,7 @@
 # Copyright (C) all contributors <meta@public-inbox.org>
 # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>
 # Wrapper to git fetch remote public-inboxes
-use strict;
-use v5.10.1;
+use v5.12;
 use Getopt::Long qw(:config gnu_getopt no_ignore_case auto_abbrev);
 my $opt = {};
 my $help = <<EOF; # the following should fit w/o scrolling in 80x24 term:
@@ -24,6 +23,7 @@ options:
     -C DIR            chdir to specified directory
 EOF
 GetOptions($opt, qw(help|h quiet|q verbose|v+ C=s@ c=s@ try-remote|T=s@
+       prune|p
        no-torsocks torsocks=s exit-code)) or die $help;
 if ($opt->{help}) { print $help; exit };
 require PublicInbox::Fetch; # loads Admin