5 Dec
2018
5 Dec
'18
10:43 p.m.
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).