From: Junio C Hamano <redacted>
Date: Mon, 24 Aug 2020 21:54:31 +0000 (-0700)
Subject: Merge branch 'jc/no-update-fetch-head'
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=b55605073381a9863b3c2b3b6627122fe9b90453;p=git.git

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
---

b55605073381a9863b3c2b3b6627122fe9b90453