Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
PenTesting 5da1adce92
Regex hardening to fix CVE-2018-12356.
2 роки тому
..
devtools devtools: Auto-set branch to merge to in github-merge 4 роки тому
verify-commits Regex hardening to fix CVE-2018-12356. 2 роки тому
README.md Adjust verify-commits to gitian-builder 4 роки тому

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.