gnunet-handbook

commit 19295b3d44798389d39f5fde4c479726587e84de
parent ad5e61cf884c16c33711611ee96433245a37020a
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Tue, 17 Dec 2024 14:55:01 +0100

all commits signed

Diffstat:
M
developers/style.rst
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/developers/style.rst b/developers/style.rst
@@ -388,6 +388,10 @@ Developer access and commit messages
 You can find the GNUnet project repositories at https://git.gnunet.org.
 The following applies to all repositories, but access policies are only
 enforced for the main gnunet repository.
+Note that all commits **MUST** be signed with your GPG key.
+The server will verify that any pushed commit is signed. It does not matter
+which key is used (we do not keep a list of GPG public keys).
+
 We do not maintain a separate ChangeLog file anymore as the changes are
 documented in the git repositories.
 Commit messages are required to convey what changes were