]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c68873) | patch
pull: remove --update-head-ok from documentation
authorRené Scharfe <l.s.r@web.de>
Sat, 28 Mar 2020 14:48:33 +0000 (15:48 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sun, 29 Mar 2020 01:13:09 +0000 (18:13 -0700)
commitf05558f3e290fcc69f8ba67310b2c7dd83ebe938
tree0c8b40b2469e962b35da046db65f98eecb8595f6tree | snapshot
parent9c688735f68ef76237708db66b2078bbe78d8f09commit | diff
pull: remove --update-head-ok from documentation

'git pull' implicitly passes --update-head-ok to 'git fetch', but
doesn't itself accept that option from users.  That makes sense, as it
wouldn't work without the possibility to update HEAD.  Remove the option
from the command's documentation to match its actual behavior.

Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/fetch-options.txt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.