diff options
author | Eric Wong <e@yhbt.net> | 2020-02-22 08:27:29 +0000 |
---|---|---|
committer | Eric Wong <e@yhbt.net> | 2020-02-23 04:52:19 +0000 |
commit | d87053bf6cae0258125e84e1531d5f1206c53288 (patch) | |
tree | 8909c9d5e672f19dcbe22828994facb5d84d35c0 /script | |
parent | 9703d80efd848f582e5b265db1958e0f143d8712 (diff) | |
download | public-inbox-d87053bf6cae0258125e84e1531d5f1206c53288.tar.gz |
Since v2 inboxes contain multiple git repositories, avoid the use of the word "repository" when referring to inboxes as a whole in most places.
Diffstat (limited to 'script')
-rwxr-xr-x | script/public-inbox-index | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/public-inbox-index b/script/public-inbox-index index 2c7c4f13..c6910420 100755 --- a/script/public-inbox-index +++ b/script/public-inbox-index @@ -1,8 +1,7 @@ #!/usr/bin/perl -w # Copyright (C) 2015-2020 all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> -# Basic tool to create a Xapian search index for a git repository -# configured for public-inbox. +# Basic tool to create a Xapian search index for a public-inbox. # Usage with libeatmydata <https://www.flamingspork.com/projects/libeatmydata/> # highly recommended: eatmydata public-inbox-index INBOX_DIR |