]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b712fd) | patch
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)
commitb107d856d100317f1d9a5e13ebdf02af01a750f8
tree93b182fedc518f9522129748d7c916ece2641c75tree
parent6b712fd2ee2d484de02150936d2a37e1bad9f61ecommit | diff
examples/grok-pull.post_update_hook: fix config detection

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".
examples/grok-pull.post_update_hook.sh diff | blob | history
My patches to https://public-inbox.org/public-inbox.git