]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c3d7bd) | patch
lei_mirror: initialize placeholders with "head" from manifest
authorEric Wong <e@80x24.org>
Mon, 28 Nov 2022 05:31:18 +0000 (05:31 +0000)
committerEric Wong <e@80x24.org>
Mon, 28 Nov 2022 23:38:54 +0000 (23:38 +0000)
commit71d1ffb1bf3d435a6804a0d85340965548def00d
treebdedbe748f02c124099e16f790ebba1a43b895aatree
parent1c3d7bd75e2c6f84bd511a17838fa9113c98578ccommit | diff
lei_mirror: initialize placeholders with "head" from manifest

This only affects v2 epochs, but ensures our bases are covered,
at least.  We'll have to update PublicInbox::Fetch later to
deal with "head" entries in manifest.js.gz, too.
lib/PublicInbox/LeiMirror.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git