aboutsummaryrefslogtreecommitdiff
path: root/HACKING
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2019-07-13 14:23:44 -0400
committerLeo Famulari <leo@famulari.name>2019-07-13 14:25:19 -0400
commit06e1ecbf17fee7fe513ad2808d8175fb3565ae3e (patch)
tree81accfc6599a001b031ee79c1a1331a19e224539 /HACKING
parent6b61dea3365e8cbb6d5a918df5288489e27854e2 (diff)
downloadguix-06e1ecbf17fee7fe513ad2808d8175fb3565ae3e.tar.gz
guix-06e1ecbf17fee7fe513ad2808d8175fb3565ae3e.zip
doc: Update keyserver URL.
* HACKING (Commit Access): Change keyserver URL to 'keys.openpgp.org'.
Diffstat (limited to 'HACKING')
-rw-r--r--HACKING2
1 files changed, 1 insertions, 1 deletions
diff --git a/HACKING b/HACKING
index de7bffea84..2f0f93f896 100644
--- a/HACKING
+++ b/HACKING
@@ -42,7 +42,7 @@ 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
-‘pool.sks-keyservers.net’. To configure Git to automatically sign commits,
+‘keys.openpgp.org’. To configure Git to automatically sign commits,
run:
git config commit.gpgsign true