From a16db014d10659051037eb76a0424b46e94f2f2d Mon Sep 17 00:00:00 2001
From: Leo Famulari <leo@famulari.name>
Date: Tue, 5 Jul 2016 14:29:56 -0400
Subject: doc: Mention commit signatures in HACKING.

* HACKING: Mention commit signatures.
---
 HACKING | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'HACKING')

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.
-- 
cgit v1.2.3