maint: Give command to install the pre-push hook.

* HACKING: Add 'cp' line to install the pre-push hook.
This commit is contained in:
Ludovic Courtès 2017-03-26 23:16:13 +02:00
parent 5d073bdb05
commit 2fccc0d193
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -46,9 +46,10 @@ configure Git to automatically sign commits, run:
git config commit.gpgsign true git config commit.gpgsign true
git config user.signingkey CABBA6EA1DC0FF33 git config user.signingkey CABBA6EA1DC0FF33
You can prevent yourself from accidentally pushing unsigned commits to Savannah You can prevent yourself from accidentally pushing unsigned commits to
by using the pre-push Git hook called 'pre-push'. It's located at Savannah by using the pre-push Git hook called located at etc/git/pre-push:
'etc/git/pre-push'.
cp etc/git/pre-push .git/hooks/pre-push
When pushing a commit on behalf of somebody else, please add a Signed-off-by When pushing a commit on behalf of somebody else, please add a Signed-off-by
line at the end of the commit log message (e.g. with git am --signoff). line at the end of the commit log message (e.g. with git am --signoff).