diff options
author | Andrew Tropin <andrew@trop.in> | 2022-09-05 09:46:23 +0300 |
---|---|---|
committer | Andrew Tropin <andrew@trop.in> | 2022-09-05 14:55:49 +0300 |
commit | a278f632de591f38c18c6e8307964e4084db5e6e (patch) | |
tree | 02b8e8c4e531e78d7ef6ceb9bf70622a93c2567a /doc/contributing.texi | |
parent | 0898fd56c910cc76d8b59bbe781f1a05ab78fad6 (diff) | |
download | guix-a278f632de591f38c18c6e8307964e4084db5e6e.tar.gz |
doc: Add more info about commits signature local verification.
* doc/contributing.texi (Commit Access): Add more info about commits signature local verification.
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 |