aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2016-07-05 14:29:56 -0400
committerLeo Famulari <leo@famulari.name>2016-07-14 15:37:51 -0400
commita16db014d10659051037eb76a0424b46e94f2f2d (patch)
tree597090293180ddf8a58cd766580ce3da02b1b045
parentbabc2c80a7e1f1b5e72fd1685ef6604b93157a8e (diff)
downloadpatches-a16db014d10659051037eb76a0424b46e94f2f2d.tar
patches-a16db014d10659051037eb76a0424b46e94f2f2d.tar.gz
doc: Mention commit signatures in HACKING.
* HACKING: Mention commit signatures.
-rw-r--r--HACKING4
1 files changed, 4 insertions, 0 deletions
diff --git a/HACKING b/HACKING
index 41838ee816..d5828f6836 100644
--- a/HACKING
+++ b/HACKING
@@ -35,6 +35,10 @@ 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.
+
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
after two weeks, and if you’re confident, it’s OK to commit.