diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-08-24 14:54:31 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-08-24 14:54:31 -0700 |
| commit | b55605073381a9863b3c2b3b6627122fe9b90453 (patch) | |
| tree | 46ef750609127c8e3c427f5bfad478a0f4e394e7 /commit.c | |
| parent | d1ff7411f3538812796048e8f5bba717bb79fa2f (diff) | |
| parent | 887952b8c680626f4721cb5fa57704478801aca4 (diff) | |
| download | git-b55605073381a9863b3c2b3b6627122fe9b90453.tar.gz | |
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
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions