aboutsummaryrefslogtreecommitdiff
path: root/contrib/README.md
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@gmail.com>2013-11-22 05:49:51 +0100
committerWladimir J. van der Laan <laanwj@gmail.com>2013-11-24 12:44:31 +0100
commite5adec35c65b5194d0d4465b4d095f34e80dcc94 (patch)
tree85c90820804979bc77eb939a9c861becc1c14b39 /contrib/README.md
parentbe5d37c59757ac3b6deae1e3b238dcb2168207cb (diff)
contrib: add sipa's github-merge script
Diffstat (limited to 'contrib/README.md')
-rw-r--r--contrib/README.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/README.md b/contrib/README.md
index d1cdd7eb38..167b5df4e1 100644
--- a/contrib/README.md
+++ b/contrib/README.md
@@ -52,3 +52,7 @@ tests each pull and when master is tested using jenkins.
### [Verify SF Binaries](/contrib/verifysfbinaries) ###
This script attempts to download and verify the signature file SHA256SUMS.asc from SourceForge.
+### [Developer tools](/control/devtools) ###
+Specific tools for developers working on this repository.
+Contains the script `github-merge.sh` for merging github pull requests securely and signing them using GPG.
+