mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-24 21:38:07 -05:00
maint: Adjust comment in 'pre-push' hook.
* etc/git/pre-push: Adjust comment.
This commit is contained in:
parent
c727df6f54
commit
6f6758c45d
1 changed files with 3 additions and 1 deletions
|
@ -1,6 +1,8 @@
|
|||
#!/bin/sh
|
||||
|
||||
# A hook script that prevents the user from pushing unsigned commits.
|
||||
# This hook script prevents the user from pushing to Savannah if any of the new
|
||||
# commits' OpenPGP signatures cannot be verified, or if a commit is signed
|
||||
# with an unauthorized key.
|
||||
|
||||
# Called by "git push" after it has checked the remote status, but before
|
||||
# anything has been pushed. If this script exits with a non-zero status nothing
|
||||
|
|
Loading…
Reference in a new issue