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 /commit-graph.c | |
| parent | da72936f544fec5a335e66432610e4cef4430991 (diff) | |
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 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions