01/06: HACKING: Update key server.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 6701edbfad62ba9572ffd35497df3db27b208ba5
Author: Ludovic Courtès <address@hidden>
Date:   Mon Feb 11 22:39:12 2019 +0100

    HACKING: Update key server.
    
    * HACKING (Commit Access): Recommend pool.sks-keyservers.net.
---
 HACKING | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/HACKING b/HACKING
index f68753f..de7bffe 100644
--- 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 <address@hidden>
+Copyright © 2012, 2013, 2014, 2016, 2017, 2019 Ludovic Courtès <address@hidden>
 Copyright © 2015, 2017 Mathieu Lirzin <address@hidden>
 Copyright © 2017 Leo Famulari <address@hidden>
 Copyright © 2017 Arun Isaac <address@hidden>
@@ -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
+‘pool.sks-keyservers.net’.  To configure Git to automatically sign commits,
+run:
 
   git config commit.gpgsign true
   git config user.signingkey CABBA6EA1DC0FF33