]> Sergey Matveev's repositories - public-inbox.git/commitdiff
lei_mirror: reduce `git config' usage
authorEric Wong <e@80x24.org>
Mon, 6 Feb 2023 05:56:35 +0000 (05:56 +0000)
committerEric Wong <e@80x24.org>
Mon, 6 Feb 2023 06:41:51 +0000 (06:41 +0000)
We can use `git -c $KEY=$VAL fetch' with a random remote name
that never makes it to a config file.


No differences found