#!/bin/sh # 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 # will be pushed. # # This hook is called with the following parameters: # # $1 -- Name of the remote to which the push is being done # $2 -- URL to which the push is being done # # If pushing without using a named remote those arguments will be equal. # # Information about the commits which are being pushed is supplied as lines to # the standard input in the form: # # # This is the "empty hash" used by Git when pushing a branch deletion. z40=0000000000000000000000000000000000000000 while read local_ref local_hash remote_ref remote_hash do # When deleting a remote branch, no commits are pushed to the remote, and # thus there are no signatures to be verified. if [ "$local_hash" != $z40 ] then # Only use the hook when pushing to Savannah. case "$2" in *.gnu.org*) exec make authenticate check-channel-news exit 127 ;; *) exit 0 ;; esac fi done exit 0 man.scm?id=9a8c7808ccb538926ae1a5e8fbd96ac823c388b4'>treecommitdiff
AgeCommit message (Expand)Author
2021-09-24gnu: mandoc: Update to 1.14.6....* gnu/packages/man.scm (mandoc): Update to 1.14.6. Tobias Geerinckx-Rice
2021-09-07gnu: mandoc: Add $MANPATH to native-search-paths....* gnu/packages/man.scm (mandoc)[native-search-paths]: New field. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Milkey Mouse
2021-08-27gnu: man-pages: Update to 5.13....* gnu/packages/man.scm (man-pages): Update to 5.13. Tobias Geerinckx-Rice
2021-06-29gnu: man-pages: Update to 5.12....* gnu/packages/man.scm (man-pages): Update to 5.12. [arguments]: Follow switch to standard ‘mandir’ over ‘MANDIR’. \o/ Tobias Geerinckx-Rice
2021-03-27gnu: Add mandoc....* gnu/packages/man.scm (mandoc): New variable. Co-authored-by: Stefan Karrmann <S.Karrmann@web.de> Ludovic Courtès
2021-03-22gnu: man-pages: Update to 5.11....* gnu/packages/man.scm (man-pages): Update to 5.11. Tobias Geerinckx-Rice
2021-03-17gnu: scdoc: Cross-compile....* gnu/packages/man.scm (scdoc)[arguments]: Use CC-FOR-TARGET. Tobias Geerinckx-Rice
2021-03-17gnu: scdoc: Don't use unstable tarball....The autogenerated tarball was modified upstream. * gnu/packages/man.scm (scdoc)[source]: Use GIT-FETCH and GIT-FILE-NAME. Tobias Geerinckx-Rice
2021-02-15gnu: man-db: Update to 2.9.4....* gnu/packages/man.scm (man-db): Update to 2.9.4. Tobias Geerinckx-Rice
2020-12-23gnu: man-pages: Update to 5.10....* gnu/packages/man.scm (man-pages): Update to 5.10. Tobias Geerinckx-Rice