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

[Jose E. Marchesi]

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!