|PenTesting 5da1adce92 Regex hardening to fix CVE-2018-12356.||il y a 1 an|
|devtools||il y a 3 ans|
|verify-commits||il y a 1 an|
|README.md||il y a 3 ans|
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.
Tool to verify that every merge commit was signed by a developer using the above