diff options
| author | Leo Famulari <leo@famulari.name> | 2019-07-13 14:23:44 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2019-07-13 14:25:19 -0400 |
| commit | 06e1ecbf17fee7fe513ad2808d8175fb3565ae3e (patch) | |
| tree | 81accfc6599a001b031ee79c1a1331a19e224539 | |
| parent | 6b61dea3365e8cbb6d5a918df5288489e27854e2 (diff) | |
| download | guix-06e1ecbf17fee7fe513ad2808d8175fb3565ae3e.tar.gz | |
doc: Update keyserver URL.
* HACKING (Commit Access): Change keyserver URL to 'keys.openpgp.org'.
| -rw-r--r-- | HACKING | 2 |
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 |