]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a17bc2) | patch
index: filter out indexlevel=basic from extindex
authorEric Wong <e@80x24.org>
Fri, 25 Dec 2020 10:21:15 +0000 (10:21 +0000)
committerEric Wong <e@80x24.org>
Sat, 26 Dec 2020 06:22:56 +0000 (06:22 +0000)
commit451ffd3068017ac1ca8bb0b454a65a7f2a3bf407
tree3cebaa15b8beffa792710b041fe15a79323216dftree
parent9a17bc230973405b0656bf05fb76902d46627ffacommit | diff
index: filter out indexlevel=basic from extindex

extindex users will likely want to use indexlevel=basic for
per-inbox indices, however extindex itself doesn't support basic
index level (yet?).  Let's ensure we don't trip up extindex
users who specify "-L basic" on the -index command-line.
script/public-inbox-index diff | blob | history
My patches to https://public-inbox.org/public-inbox.git