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. --- Documentation/public-inbox-clone.pod | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'Documentation') diff --git a/Documentation/public-inbox-clone.pod b/Documentation/public-inbox-clone.pod index 50a290df..152fed73 100644 --- a/Documentation/public-inbox-clone.pod +++ b/Documentation/public-inbox-clone.pod @@ -176,6 +176,15 @@ calls on incremental clones. This is a new option in public-inbox 2.0+ +=item --purge + +Deletes entire repos which no longer exist in the remote manifest, +or are filtered out by C<--include=> or C<--exclude=>. + +This is only useful when using C<--manifest> + +This is a new option in public-inbox 2.0+ + =item --exit-code Exit with C<127> if no updates are done when relying on a manifest. -- cgit v1.2.3-24-ge0c7