diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-06-13 12:09:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-18 14:18:07 +0200 |
| commit | b5b9266e409abb18970bd34557cf087eb29fa713 (patch) | |
| tree | 5afc9754eaa33e6b22769b0b6b8412dc9d9dc06e /doc | |
| parent | d3d6d1c6eb61d008d042995500344ab8587d9d53 (diff) | |
doc: Clarify Git commit signing; fix typo.
Suggested by Maxime Devos <maximedevos@telenet.be>
and Julien Lepiller <julien@lepiller.eu>.
* doc/contributing.texi (Commit Access): Clarify Git commit signing
setup and fix typo.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/contributing.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index 9e574f8b5d..e612ea7b23 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1367,11 +1367,13 @@ commits, run: @example git config commit.gpgsign true + +# Substitute the fingerprint of your public PGP key. git config user.signingkey CABBA6EA1DC0FF33 @end example You can prevent yourself from accidentally pushing unsigned commits to -Savannah by using the pre-push Git hook called located at +Savannah by using the pre-push Git hook located at @file{etc/git/pre-push}: @example |