diff options
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. + |