diff options
| author |  René Scharfe <l.s.r@web.de> | 2020-03-28 15:48:41 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-03-28 18:13:11 -0700 |
| commit | 13ac5edbfa5a03cd9bb4cf6b59dc45f2c73aa463 (patch) | |
| tree | 071cb7ce599bf4290c4917aa594b59721006bc0e /Documentation/RelNotes | |
| parent | pull: remove --update-head-ok from documentation (diff) | |
| download | tgif-13ac5edbfa5a03cd9bb4cf6b59dc45f2c73aa463.tar.xz | |
pull: pass documented fetch options on
The fetch options --deepen, --negotiation-tip, --server-option,
--shallow-exclude, and --shallow-since are documented for git pull as
well, but are not actually accepted by that command. Pass them on to
make the code match its documentation.
Reported-by: 天几 <muzimuzhi@gmail.com>
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/RelNotes')
0 files changed, 0 insertions, 0 deletions