doc: Update keyserver URL.

* HACKING (Commit Access): Change keyserver URL to 'keys.openpgp.org'.
This commit is contained in:
Leo Famulari 2019-07-13 14:23:44 -04:00
parent 6b61dea336
commit 06e1ecbf17
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08

View file

@ -42,7 +42,7 @@ make sure to run git pull --rebase.
All commits that are pushed to the central repository on Savannah must be 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 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 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: run:
git config commit.gpgsign true git config commit.gpgsign true