]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f8a070) | patch
index: allow indexing before configuration
authorEric Wong <e@80x24.org>
Fri, 4 Nov 2016 21:11:35 +0000 (21:11 +0000)
committerEric Wong <e@80x24.org>
Fri, 18 Nov 2016 21:15:53 +0000 (21:15 +0000)
commitd73798ac803114d6cc75d62c624c823d0b553c0d
tree5d8ec0a1d2a87d032e1e6d45726e9921cbffc4adtree
parent8f8a070ab8863e0a6726a1d04815b96a0ee432b3commit | diff
index: allow indexing before configuration

One may build the initial index on a powerful host and transfer
it to a weaker one for incremental indexing.  Thus there is
no requirement to have a configured public-inbox for building
the index unless a user needs altid support or some such.
script/public-inbox-index diff | blob | history
My patches to https://public-inbox.org/public-inbox.git