diff options
author | Jonathan Tan <jonathantanmy@google.com> | 2020-09-03 00:05:39 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-09-03 00:26:55 +0300 |
commit | db3c293ecded67128b74a03f01e65c6799ff1116 (patch) | |
tree | 6f6c6767953c0699421711dfe40867a54ce7971c /remote-curl.c | |
parent | 9dfa8dbeee18a126aabcdd36a06e5d6b5eb6a58a (diff) |
fetch: no FETCH_HEAD display if --no-write-fetch-head
887952b8c6 ("fetch: optionally allow disabling FETCH_HEAD update",
2020-08-18) introduced the ability to disable writing to FETCH_HEAD
during fetch, but did not suppress the "<source> -> FETCH_HEAD" message
when this ability is used. This message is misleading in this case,
because FETCH_HEAD is not written. Also, because "fetch" is used to
lazy-fetch missing objects in a partial clone, this significantly
clutters up the output in that case since the objects to be fetched are
potentially numerous.
Therefore, suppress this message when --no-write-fetch-head is passed
(but not when --dry-run is set).
Signed-off-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'remote-curl.c')
0 files changed, 0 insertions, 0 deletions