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 /Documentation/public-inbox-fetch.pod | |
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 'Documentation/public-inbox-fetch.pod')
-rw-r--r-- | Documentation/public-inbox-fetch.pod | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/public-inbox-fetch.pod b/Documentation/public-inbox-fetch.pod index c78ffc0b..c5e73d38 100644 --- a/Documentation/public-inbox-fetch.pod +++ b/Documentation/public-inbox-fetch.pod @@ -61,6 +61,12 @@ there are no updates: public-inbox-fetch -q --exit-code && public-inbox-index test $? -eq 0 || exit $? +=item -p + +=item --prune + +Pass the C<--prune> and C<--prune-tags> flags to L<git-fetch(1)> calls. + =item -v =item --verbose |