diff options
author | Marius Bakke <marius@gnu.org> | 2022-09-08 21:12:52 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2022-09-08 21:12:52 +0200 |
commit | 884548b476f2ee27c01cb0c9ad93c0cf9d33fa5e (patch) | |
tree | 20650b3917b1292470ecc4ded13fbb04e5dbfa6d /doc/contributing.texi | |
parent | 0e305798454c558ab6e722cf66ba351c326a1a8d (diff) | |
parent | fa894b3f4db835bd0bb52b32c7ec412e72b7e03a (diff) |
Merge branch 'staging' into core-updates
Diffstat (limited to 'doc/contributing.texi')
-rw-r--r-- | doc/contributing.texi | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index b1d236c011..17a54f94cc 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1627,14 +1627,23 @@ git config commit.gpgsign true 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 located at -@file{etc/git/pre-push}: +To check that commits are signed with correct key, use: + +@example +make authenticate +@end example + +You can prevent yourself from accidentally pushing unsigned or signed +with the wrong key commits to Savannah by using the pre-push Git hook +located at @file{etc/git/pre-push}: @example cp etc/git/pre-push .git/hooks/pre-push @end example +It additionally calls @code{make check-channel-news} to be sure +@file{news.scm} file is correct. + @subsection Commit Policy If you get commit access, please make sure to follow |