Message ID | 20210613101538.10668-5-ludo@gnu.org |
---|---|
State | Accepted |
Headers | show |
Series | Documenting commit reverts and revocation | expand |
Context | Check | Description |
---|---|---|
cbaines/comparison | success | View comparision |
cbaines/git branch | success | View Git branch |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
cbaines/comparison | success | View comparision |
cbaines/git branch | success | View Git branch |
cbaines/applying patch | success | View Laminar job |
cbaines/issue | success | View issue |
diff --git a/doc/contributing.texi b/doc/contributing.texi index 5e59278534..a8bc279936 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