4 Dec
2018
4 Dec
'18
1:03 p.m.
On Tue, Dec 4, 2018 at 4:03 AM Andrey Semashev via Boost < boost@lists.boost.org> wrote:
Yes, I'm in favor of adding some sort of a server-side git hook. For that all script files need to have an appropriate extension so that they can be whitelisted to have an executable permission. Though I'm not sure how server-side git hooks work with GitHub.
I don't think there's anything like git server-side hooks. Best you can do is write a GitHub Application. As otherwise it's all client side hooks. Other option is to add these checks to the regular library conformance testing < https://github.com/boostorg/boost/blob/master/status/boost_check_library.py
.
-- -- Rene Rivera -- Grafik - Don't Assume Anything -- Robot Dreams - http://robot-dreams.net