Re: [PATCH] Add pre-push git hook to perform syntax check

[Tim Rühsen]

Pushed with your suggested amendments.

On 4/1/20 1:13 PM, Jose E. Marchesi wrote:
> Hi Tim.
>
>      * HACKING: Mention pre-push git hook in Maintenance section.
>      * etc/hooks/pre-push: New file, pre-push git hook.
>
>      If applied, this hook will perform a syntax-check and a naive
>      check for existance of ChangeLog changes.
>
> This is nice.
> My only comment is that I would prefer to name the directory in etc/
> git-hooks rather than just hooks.
>
> Other than that, this is OK for master.
> I will be using the hook, starting now :)
>
> Thanks!