Re: [boost] Executable files in Boost git repostories

Subject: Re: [boost] Executable files in Boost git repostories
From: Edward Diener (eldiener_at_[hidden])
Date: 2018-12-04 15:28:14

On 12/4/2018 8:03 AM, Rene Rivera via Boost wrote:
> On Tue, Dec 4, 2018 at 4:03 AM Andrey Semashev via Boost <
> boost_at_[hidden]> 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.

https://git-scm.com/docs/githooks and 
https://git-scm.com/book/en/v2/Customizing-Git-Git-Hooks suggest 
otherwise, although understanding how to write a hook from the sparse 
documentation seems difficult to me. Maybe someone who has written a git 
hook before understands how we can cycle through the files in a 'git 
push' and, if one of those files is a source file with its executable 
bit set, reject the push.

> 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
>> .
>