]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 9537b9c) | patch
lei_mirror: shorten remote names
authorEric Wong <e@80x24.org>
Mon, 28 Nov 2022 05:31:59 +0000 (05:31 +0000)
committerEric Wong <e@80x24.org>
Mon, 28 Nov 2022 23:38:57 +0000 (23:38 +0000)
commit9e8f3256e5891841094f43e684b4a5b420bdb7ab
tree8cd058c52f347783f7d5c90bbbeb0133566d2b3ftree
parent9537b9c7201a7c656c3efcb9918df930a7447981commit | diff
lei_mirror: shorten remote names

The lengthy-but-human-meaningful remote names are more expensive
at runtime and increase packed-refs space.
lib/PublicInbox/LeiMirror.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git