diff options
| author | Matt Corallo <git@bluematt.me> | 2014-10-27 00:07:25 -0700 |
|---|---|---|
| committer | Matt Corallo <git@bluematt.me> | 2014-12-20 00:39:42 -0500 |
| commit | adaa568722e59cde510c5fe1997c49cbb9d7db12 (patch) | |
| tree | d392d4c3467c229e54d19c835c9bd497e6917aff /contrib/README.md | |
| parent | 13c077c7cfe9f367c721f3d99924b3d568afb4d0 (diff) | |
Add script to verify all merge commits are signed
Diffstat (limited to 'contrib/README.md')
| -rw-r--r-- | contrib/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/README.md b/contrib/README.md index dae975e9ef..7d4b91e887 100644 --- a/contrib/README.md +++ b/contrib/README.md @@ -16,6 +16,9 @@ Repository Tools 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. +### [Verify-Commits](/contrib/verify-commits) ### +Tool to verify that every merge commit was signed by a developer using the above `github-merge.sh` script. + ### [Linearize](/contrib/linearize) ### Construct a linear, no-fork, best version of the blockchain. |