diff options
author | Andreas Enge <andreas@enge.fr> | 2016-07-25 21:58:36 +0200 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2016-07-25 21:58:36 +0200 |
commit | 14656f44959a519239910b88b783fa6adbbd8d40 (patch) | |
tree | 0ece327363bc6ee3d0cacba13c751361091b6ca8 /HACKING | |
parent | d8eb912132ccdff955e3318fe549c5f7f674adf8 (diff) | |
parent | 424a323e92d92284efcd30cf548d1f41c556d592 (diff) | |
download | guix-14656f44959a519239910b88b783fa6adbbd8d40.tar.gz |
Merge remote-tracking branch 'origin/master' into core-updates
Diffstat (limited to 'HACKING')
-rw-r--r-- | HACKING | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/HACKING b/HACKING index d5828f6836..28948b3e23 100644 --- a/HACKING +++ b/HACKING @@ -2,7 +2,7 @@ #+TITLE: Hacking GNU Guix and Its Incredible Distro -Copyright © 2012, 2013, 2014 Ludovic Courtès <ludo@gnu.org> +Copyright © 2012, 2013, 2014, 2016 Ludovic Courtès <ludo@gnu.org> Copyright © 2015 Mathieu Lirzin <mthl@openmailbox.org> Copying and distribution of this file, with or without modification, @@ -35,9 +35,13 @@ upgrading GnuTLS or GLib.) We have a mailing list for commit notifications (guix-commits@gnu.org), so people can notice. Before pushing your changes, make sure to run ‘git pull --rebase’. -All commits that are pushed to the central repository on Savannah should be -signed with a PGP key, and the public key should be uploaded to your user -account on Savannah. +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 ‘pgp.mit.edu’. To +configure Git to automatically sign commits, run: + + git config commit.gpgsign true + git config user.signingkey CABBA6EA1DC0FF33 For anything else, please post to guix-devel@gnu.org and leave time for a review, without committing anything. If you didn’t receive any reply |