diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-22 05:49:51 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-24 12:44:31 +0100 |
commit | e5adec35c65b5194d0d4465b4d095f34e80dcc94 (patch) | |
tree | 85c90820804979bc77eb939a9c861becc1c14b39 /contrib/README.md | |
parent | be5d37c59757ac3b6deae1e3b238dcb2168207cb (diff) |
contrib: add sipa's github-merge script
Diffstat (limited to 'contrib/README.md')
-rw-r--r-- | contrib/README.md | 4 |
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. + |