]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: d1ff741 887952b)
Merge branch 'jc/no-update-fetch-head'
authorJunio C Hamano <gitster@pobox.com>
Mon, 24 Aug 2020 21:54:31 +0000 (14:54 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 24 Aug 2020 21:54:31 +0000 (14:54 -0700)
commitb55605073381a9863b3c2b3b6627122fe9b90453
tree46ef750609127c8e3c427f5bfad478a0f4e394e7tree | snapshot
parentd1ff7411f3538812796048e8f5bba717bb79fa2fcommit | diff
parent887952b8c680626f4721cb5fa57704478801aca4commit | diff
Merge branch 'jc/no-update-fetch-head'

"git fetch" learned --no-write-fetch-head option to avoid writing
the FETCH_HEAD file.

* jc/no-update-fetch-head:
  fetch: optionally allow disabling FETCH_HEAD update
Documentation/fetch-options.txt diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.