Re: [boost] Executable files in Boost git repostories

Subject: Re: [boost] Executable files in Boost git repostories
From: Alexander Grund (alexander.grund_at_[hidden])
Date: 2018-12-06 09:40:26

Am 05.12.18 um 23:43 schrieb Gavin Lambert via Boost:
>> GitHub doesn't allow running scripts on their servers.
>
> You can write a webhook to run a script on a different server. But at 
> best this could yell at someone after the fact; it can't prevent 
> accepting a push (although it can mark a pull request as invalid -- 
> that's how the CI hooks in).

Simply do it in CI. All Boost builds are run (at least) on travis, 
right? So all you need is a simple shell script (or a one-liner in 
.travis.yml) that finds executable files with a forbidden suffix and 
returns a message and error status code when found. This will block all 
PRs and also flag commits pushed directly.

Client-side hooks are worthless for that as you can't force everyone to 
install them.