gnu: Add r-all.

[jackhill/guix/guix.git] / HACKING

diff --git a/HACKING b/HACKING
index d1a26d2..2f0f93f 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -2,7 +2,7 @@
 
 #+TITLE: Hacking GNU Guix and Its Incredible Distro
 
-Copyright © 2012, 2013, 2014, 2016, 2017 Ludovic Courtès <ludo@gnu.org>
+Copyright © 2012, 2013, 2014, 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org>
 Copyright © 2015, 2017 Mathieu Lirzin <mthl@gnu.org>
 Copyright © 2017 Leo Famulari <leo@famulari.name>
 Copyright © 2017 Arun Isaac <arunisaac@systemreboot.net>
@@ -27,7 +27,7 @@ mailing list.  When you get commit access, please make sure to follow the
 policy below (discussions of the policy can take place on guix-devel@gnu.org.)
 
 Non-trivial patches should always be posted to guix-patches@gnu.org (trivial
-patches include fixing typos, etc.)  This mailing list fills the
+patches include fixing typos, etc.).  This mailing list fills the
 patch-tracking database at [[https://bugs.gnu.org/guix-patches]]; see
 "Contributing" in the manual for details.
 
@@ -41,8 +41,9 @@ make sure to run ‘git pull --rebase’.
 
 All commits that are pushed to the central repository on Savannah must be
 signed with an OpenPGP key, and the public key should be uploaded to your user
-account on Savannah and to public key servers, such as ‘pgp.mit.edu’.  To
-configure Git to automatically sign commits, run:
+account on Savannah and to public key servers, such as
+‘keys.openpgp.org’.  To configure Git to automatically sign commits,
+run:
 
   git config commit.gpgsign true
   git config user.signingkey CABBA6EA1DC0FF33