]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: bd06b22) | patch
config: relax name inbox name restrictions
authorEric Wong <e@80x24.org>
Tue, 1 Jan 2019 10:18:47 +0000 (10:18 +0000)
committerEric Wong <e@80x24.org>
Wed, 2 Jan 2019 08:33:37 +0000 (08:33 +0000)
commitbf7315de01fecc74ff8807921a993145886a8007
tree6cc44f3885ea00159b5d67f8fdf8dd330dba2dc6tree
parentbd06b22c9fa498d72808cebfa3987718288ce5dbcommit | diff
config: relax name inbox name restrictions

Since "publicinbox" sections are analogous to git remotes, we
may use the same rules for naming git remotes to reduce
cognitive overhead.

Most notably, this allows '.' in the middle of inbox names,
(e.g. "foo.bar") as it's common for email addresses, too.
lib/PublicInbox/Config.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git