5 Dec
2018
5 Dec
'18
11:12 p.m.
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@lists.boost.org> 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.