]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 402234a) | patch
lei_mirror: use --no-write-fetch-head on git 2.29+
authorEric Wong <e@80x24.org>
Fri, 3 Feb 2023 03:46:03 +0000 (03:46 +0000)
committerEric Wong <e@80x24.org>
Fri, 3 Feb 2023 21:54:11 +0000 (21:54 +0000)
commitb58cb3f73d48f682eb2092f7ae758cdad70c5467
tree33e7fb8d4c8c558c0301d7b017953750992b0612tree
parent402234aa4eaf4732e5e1636099115465ec6e5c15commit | diff
lei_mirror: use --no-write-fetch-head on git 2.29+

This avoids unnecessary writes to the FETCH_HEAD file, which is
worthless in multi-remote mirrors.  Actually, I haven't found
FETCH_HEAD useful anywhere since the `/remotes/' namespace
became popular...
lib/PublicInbox/Git.pm diff | blob | history
lib/PublicInbox/LeiMirror.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git