gitian-builder

History

Peter Todd 2862e189b0 Add README for verify-commits		2016-10-08 11:14:58 +02:00
..
devtools	Adjust readme for gitian-builder	2016-03-14 22:40:02 +01:00
verify-commits	Add README for verify-commits	2016-10-08 11:14:58 +02:00
README.md	Adjust verify-commits to gitian-builder	2016-10-08 11:10:30 +02:00

README.md

Repository Tools

Developer tools

Specific tools for developers working on this repository. Contains the script github-merge.py for merging github pull requests securely and signing them using GPG.

Verify-Commits

Tool to verify that every merge commit was signed by a developer using the above github-merge.py script.