]> Sergey Matveev's repositories - public-inbox.git/commitdiff
lei_mirror: make basename more descriptive
authorEric Wong <e@80x24.org>
Mon, 28 Nov 2022 05:31:52 +0000 (05:31 +0000)
committerEric Wong <e@80x24.org>
Mon, 28 Nov 2022 23:38:57 +0000 (23:38 +0000)
This makes it easier for humans to distinguish between
"Alice/project.git" and "Bob/project.git"


No differences found