]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: b107d85)
examples/grok-pull.post_update_hook: fix config detection
authorEric Wong <e@80x24.org>
Fri, 18 Oct 2019 07:54:25 +0000 (07:54 +0000)
committerEric Wong <e@80x24.org>
Fri, 18 Oct 2019 07:55:14 +0000 (07:55 +0000)
We need to account for both the old ("mainrepo") and new
("inboxdir") names.  But "dir" was just a search+replace
error and we don't use that outside of "coderepo.dir".


No differences found
My patches to https://public-inbox.org/public-inbox.git