diff options
| author | Eric Wong <e@80x24.org> | 2021-10-05 09:40:17 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2021-10-05 23:09:45 +0000 |
| commit | ef68ada3b207fdb511ebe6d33b072a84277e6cd6 (patch) | |
| tree | 1154347962fccb85bbf0d8fcbb6489f4045448a7 /Documentation/public-inbox-index.pod | |
| parent | 88344a50f62a39dcb5673b0aa42ebec7ec44bd71 (diff) | |
| download | public-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 'Documentation/public-inbox-index.pod')
| -rw-r--r-- | Documentation/public-inbox-index.pod | 10 |
1 files changed, 10 insertions, 0 deletions
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<all> 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<git-log(1)> to limit changes for C<--reindex> + =back =head1 FILES |