From ef68ada3b207fdb511ebe6d33b072a84277e6cd6 Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Tue, 5 Oct 2021 09:40:17 +0000 Subject: index: --reindex w/ --{since,until,before,after} 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. --- Documentation/public-inbox-index.pod | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'Documentation') diff --git a/Documentation/public-inbox-index.pod b/Documentation/public-inbox-index.pod index 57fedb69..c92b6de4 100644 --- a/Documentation/public-inbox-index.pod +++ b/Documentation/public-inbox-index.pod @@ -185,6 +185,16 @@ external indices are configured. Do not update the C external index by default. This negates all uses of C<-E> / C<--update-extindex=> on the command-line. +=item --since=DATESTRING + +=item --after=DATESTRING + +=item --until=DATESTRING + +=item --before=DATESTRING + +Passed directly to L to limit changes for C<--reindex> + =back =head1 FILES -- cgit v1.2.3-24-ge0c7