]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 73b40ff) | patch
lei: rename "extinbox" => "external"
authorEric Wong <e@80x24.org>
Thu, 31 Dec 2020 13:51:35 +0000 (13:51 +0000)
committerEric Wong <e@80x24.org>
Fri, 1 Jan 2021 05:00:39 +0000 (05:00 +0000)
commit0d649fc15eab07976344a6ae32a946b2b1c32f4f
tree52e6637f5395ad65af8733d869d6fef5111f2ee5tree
parent73b40ff62a7ab305443a9fb81b16d2b10b15bf60commit | diff
lei: rename "extinbox" => "external"

The words "extinbox" and "extindex" are too close and easy to
confuse with the other.  Rename "extinbox" to "external", since
these could be IMAP, JMAP or other non-public-inbox search APIs.

Link: https://public-inbox.org/meta/20201226112649.GB6226@dcvr/
MANIFEST diff | blob | history
lib/PublicInbox/LEI.pm diff | blob | history
lib/PublicInbox/LeiExternal.pm [moved from lib/PublicInbox/LeiExtinbox.pm with 75% similarity] diff | blob | history
lib/PublicInbox/LeiXSearch.pm diff | blob | history
t/lei.t diff | blob | history
t/lei_xsearch.t diff | blob | history
My patches to https://public-inbox.org/public-inbox.git