aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-02-11 22:39:12 +0100
committerLudovic Courtès <ludo@gnu.org>2019-02-11 23:23:27 +0100
commit6701edbfad62ba9572ffd35497df3db27b208ba5 (patch)
treec17ea6feefbde45be50d7eed9101e2a697911d31
parent8d11b6ddb8f59404acd3c87e9efdcf1082df3b68 (diff)
downloadguix-6701edbfad62ba9572ffd35497df3db27b208ba5.tar.gz
guix-6701edbfad62ba9572ffd35497df3db27b208ba5.zip
HACKING: Update key server.
* HACKING (Commit Access): Recommend pool.sks-keyservers.net.
-rw-r--r--HACKING7
1 files changed, 4 insertions, 3 deletions
diff --git a/HACKING b/HACKING
index f68753fee9..de7bffea84 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 <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>
@@ -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