diff options
| author | Eric Wong <e@80x24.org> | 2022-11-28 05:32:10 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2022-11-28 23:38:58 +0000 |
| commit | 37131af8eb12f6b0d715fd291c885cafec8be577 (patch) | |
| tree | 814dfa71c702faf1e0367897814a5d75178df768 /script | |
| parent | aa82a5a136595d935705e8c9fbffe362e44b8917 (diff) | |
| download | public-inbox-37131af8eb12f6b0d715fd291c885cafec8be577.tar.gz | |
We need to be able to get rid of removed branches and tags on the remote. --prune-tags is implied for non-objstore repos, and incompatible with objstore repos.
Diffstat (limited to 'script')
| -rwxr-xr-x | script/public-inbox-clone | 1 | ||||
| -rwxr-xr-x | script/public-inbox-fetch | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/script/public-inbox-clone b/script/public-inbox-clone index 9a22fa21..df9ddd37 100755 --- a/script/public-inbox-clone +++ b/script/public-inbox-clone @@ -24,6 +24,7 @@ options: EOF GetOptions($opt, qw(help|h quiet|q verbose|v+ C=s@ c=s@ include|I=s@ exclude=s@ inbox-config=s inbox-version=i objstore=s manifest=s + prune|p dry-run|n jobs|j=i no-torsocks torsocks=s epoch=s)) or die $help; if ($opt->{help}) { print $help; exit }; require PublicInbox::Admin; # loads Config diff --git a/script/public-inbox-fetch b/script/public-inbox-fetch index 4b991a90..6fd15328 100755 --- a/script/public-inbox-fetch +++ b/script/public-inbox-fetch @@ -23,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 |