|Matt Corallo 73f696920b Add script to verify all merge commits are signed||6 years ago|
|devtools||5 years ago|
|verify-commits||4 years ago|
|README.md||4 years ago|
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.
Tool to verify that every merge commit was signed by a developer using the above