Re: [boost] Executable files in Boost git repostories

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