diff options
| author | Eric Wong <e@80x24.org> | 2023-03-18 12:02:13 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2023-03-18 18:52:56 +0000 |
| commit | cdeac2a60363b9659d5381503074a016d947925a (patch) | |
| tree | 050651233c89236db988773beb32a3343618d6d4 /script | |
| parent | b1ee9716d67f10ae19266acec1e8eff8275d7e7c (diff) | |
| download | public-inbox-cdeac2a60363b9659d5381503074a016d947925a.tar.gz | |
This lets us clean up disk space when repos are removed on the remote side.
Diffstat (limited to 'script')
| -rwxr-xr-x | script/public-inbox-clone | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/public-inbox-clone b/script/public-inbox-clone index 5b365df7..c3e64485 100755 --- a/script/public-inbox-clone +++ b/script/public-inbox-clone @@ -32,7 +32,7 @@ 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 remote-manifest=s project-list|projectslist=s post-update-hook=s@ - prune|p keep-going|k exit-code + prune|p keep-going|k exit-code purge 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 |