Subject: Re: [boost] Executable files in Boost git repostories
From: Gavin Lambert (boost_at_[hidden])
Date: 2018-12-05 22:43:28
On 6/12/2018 10:53, Rene Rivera wrote:
> On Wed, Dec 5, 2018 at 3:50 PM Edward Diener wrote:
>> Are you saying that we have no access to the .git or .git/hooks
>> subdirectory of a Github hosted repository ?
> 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).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk