diff options
| -rw-r--r-- | doc/contributing.texi | 15 | ||||
| -rw-r--r-- | doc/guix.texi | 2 |
2 files changed, 13 insertions, 4 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 diff --git a/doc/guix.texi b/doc/guix.texi index 95b4fb1b2c..d573695e72 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -98,7 +98,7 @@ Copyright @copyright{} 2021 pukkamustard@* Copyright @copyright{} 2021 Alice Brenon@* Copyright @copyright{} 2021, 2022 Josselin Poiret@* Copyright @copyright{} 2021 muradm@* -Copyright @copyright{} 2021 Andrew Tropin@* +Copyright @copyright{} 2021, 2022 Andrew Tropin@* Copyright @copyright{} 2021 Sarah Morgensen@* Copyright @copyright{} 2022 Remco van 't Veer@* Copyright @copyright{} 2022 Aleksandr Vityazev@* |