Boost logo

Boost :

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, gregod at, cpdaniel at, john at