diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-11-03 00:21:56 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-11-06 10:59:36 +0900 |
| commit | c14e6e790392647ed3b540b0be3d51d1b8a711c4 (patch) | |
| tree | 68070d7eee7b2afb09c312d11733429e47b61e2f /Documentation/fetch-options.txt | |
| parent | da72936f544fec5a335e66432610e4cef4430991 (diff) | |
| download | git-c14e6e790392647ed3b540b0be3d51d1b8a711c4.tar.gz | |
fetch: add the command-line option `--write-commit-graph`
This option overrides the config setting `fetch.writeCommitGraph`, if
both are set.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/fetch-options.txt')
| -rw-r--r-- | Documentation/fetch-options.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt index 43b9ff3bce..a2f78624a2 100644 --- a/Documentation/fetch-options.txt +++ b/Documentation/fetch-options.txt @@ -92,6 +92,10 @@ ifndef::git-pull[] Run `git gc --auto` at the end to perform garbage collection if needed. This is enabled by default. +--[no-]write-commit-graph:: + Write a commit-graph after fetching. This overrides the config + setting `fetch.writeCommitGraph`. + -p:: --prune:: Before fetching, remove any remote-tracking references that no |