From cdeac2a60363b9659d5381503074a016d947925a Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Sat, 18 Mar 2023 12:02:13 +0000 Subject: clone: support --purge to delete remotely-deleted repos This lets us clean up disk space when repos are removed on the remote side. --- script/public-inbox-clone | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'script') 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 -- cgit v1.2.3-24-ge0c7