config: support "inboxdir" in addition to "mainrepo"

[public-inbox.git] / examples / public-inbox-config

diff --git a/examples/public-inbox-config b/examples/public-inbox-config
index 7fcbe0ba52cecd1518f6949841a0079109ec12ba..ba06eec3ed52584313a2553b4db5e37a2e222ec3 100644 (file)
--- a/examples/public-inbox-config
+++ b/examples/public-inbox-config
@@ -4,9 +4,11 @@
        address = try@public-inbox.org
        address = sandbox@public-inbox.org
        address = test@public-inbox.org
-       mainrepo = /home/pi/test-main.git
+       ; note: "mainrepo" is the old name for "inboxdir", both
+       ; remain supported for backwards compatibility.
+       inboxdir = /home/pi/test-main.git
        url = http://example.com/test
 [publicinbox "meta"]
        address = meta@public-inbox.org
-       mainrepo = /home/pi/meta-main.git
+       inboxdir = /home/pi/meta-main.git
        url = http://example.com/meta