diff options
author | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-17 08:19:11 +0000 |
commit | fece7fca6aeac74410a813cffcb0da338017d0ed (patch) | |
tree | dd8ebebc8ec82c65ff10723faeace03eb1152ca6 /Documentation/public-inbox-watch.pod | |
parent | eb424226f3bc1d4a05d1b3900634fadb2ee2c140 (diff) | |
parent | 144eddbc7abaca320773dda514589a3198c8f58c (diff) | |
download | public-inbox-fece7fca6aeac74410a813cffcb0da338017d0ed.tar.gz |
* origin/inboxdir: config: remove redundant inboxdir check config: support "inboxdir" in addition to "mainrepo" examples/grok-pull.post_update_hook: use "inbox_dir"
Diffstat (limited to 'Documentation/public-inbox-watch.pod')
-rw-r--r-- | Documentation/public-inbox-watch.pod | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/public-inbox-watch.pod b/Documentation/public-inbox-watch.pod index 198c170a..0934eade 100644 --- a/Documentation/public-inbox-watch.pod +++ b/Documentation/public-inbox-watch.pod @@ -12,7 +12,7 @@ In ~/.public-inbox/config: ; generic public-inbox-config keys: address = test@example.com url = http://example.com/test - mainrepo = /path/to/test.example.com.git + inboxdir = /path/to/test.example.com.git ; config keys specific to public-inbox-watch: @@ -28,7 +28,7 @@ In ~/.public-inbox/config: ; optional, emails marked as read which appear ; here will be trained as spam and deleted from - ; the mainrepos of any public-inboxes which are + ; the inboxdirs of any public-inboxes which are ; configured for watch. ; This is global for all publicinbox.* sections watchspam = maildir:/path/to/maildirs/.INBOX.spam |