|
Boost : |
Subject: Re: [boost] Executable files in Boost git repostories
From: Edward Diener (eldiener_at_[hidden])
Date: 2018-12-05 23:12:37
On 12/5/2018 4:53 PM, Rene Rivera via Boost wrote:
> On Wed, Dec 5, 2018 at 3:50 PM Edward Diener via Boost <
> boost_at_[hidden]> wrote:
>
>> On 12/4/2018 10:34 AM, Rene Rivera via Boost wrote:
>>> GitHub doesn't allow those server side hooks.
>>
>> 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.
>
Ok. Then the best alternative is to write a client-side commit hook.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk