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) | |
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
| @@ -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 |
