1 files changed, 1 insertions, 1 deletions
diff --git a/HACKING b/HACKING
index de7bffea84a..2f0f93f896f 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

diff --git a/HACKING b/HACKING index de7bffea84a..2f0f93f896f 100644 --- a/HACKING +++ b/HACKING
@@ -42,7 +42,7 @@ make sure to run ‘git pull --rebase’.
42	All commits that are pushed to the central repository on Savannah must be	42	All commits that are pushed to the central repository on Savannah must be
43	signed with an OpenPGP key, and the public key should be uploaded to your user	43	signed with an OpenPGP key, and the public key should be uploaded to your user
44	account on Savannah and to public key servers, such as	44	account on Savannah and to public key servers, such as
45	‘pool.sks-keyservers.net’. To configure Git to automatically sign commits,	45	‘keys.openpgp.org’. To configure Git to automatically sign commits,
46	run:	46	run:
47		47
48	git config commit.gpgsign true	48	git config commit.gpgsign true