summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2021-06-13 12:09:40 +0200
committerLudovic Courtès <ludo@gnu.org>2021-06-18 14:18:07 +0200
commitb5b9266e409abb18970bd34557cf087eb29fa713 (patch)
tree5afc9754eaa33e6b22769b0b6b8412dc9d9dc06e /doc
parentd3d6d1c6eb61d008d042995500344ab8587d9d53 (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.texi4
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