about summary refs log tree commit homepage
path: root/.gitignore
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2021-10-05 09:40:17 +0000
committerEric Wong <e@80x24.org>2021-10-05 23:09:45 +0000
commitef68ada3b207fdb511ebe6d33b072a84277e6cd6 (patch)
tree1154347962fccb85bbf0d8fcbb6489f4045448a7 /.gitignore
parent88344a50f62a39dcb5673b0aa42ebec7ec44bd71 (diff)
downloadpublic-inbox-ef68ada3b207fdb511ebe6d33b072a84277e6cd6.tar.gz
This lets administrators reindex specific time ranges
according to git "approxidate" formats.  These arguments
are passed directly to underlying git-log(1) invocations
and may still reach into old epochs.

Since these options rely on git committer dates (which we infer
from the most recent Received: header), they are not guaranteed
to be strictly tied to git history and it's possible to
over/under-reindex some messages.  It's probably not a major
problem in practice, though; reindexing a few extra messages
is generally harmless aside from some extra device wear.

Since this currently relies on git-log, these options do not
affect -extindex, yet.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions