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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk