diff options
author | Eric Wong <e@80x24.org> | 2023-03-08 11:02:58 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-03-09 18:59:23 +0000 |
commit | b34cdf2c58754bf620badbaf30f5cecb0c11905c (patch) | |
tree | 68befc5a298e5fe96ad3e2540ebf7d410f45ab37 /Documentation | |
parent | 0fa19f1a4b6949808c311312e80d9d3a5010cc23 (diff) | |
download | public-inbox-b34cdf2c58754bf620badbaf30f5cecb0c11905c.tar.gz |
Apparently, --no-write-fetch-head is broken in current git[1]. It also wasn't in older git, at all. So just unlink FETCH_HEAD as we see it, but keep using --no-write-fetch-head to avoid the syscall and I/O overhead when we can. [1] https://yhbt.net/lore/git/20230308100438.908471-1-e@80x24.org/
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions