Changeset View
Changeset View
Standalone View
Standalone View
contrib/README.md
Repository Tools | Repository Tools | ||||
--------------------- | --------------------- | ||||
### [Developer tools](/contrib/devtools) ### | ### [Developer tools](/contrib/devtools) ### | ||||
Specific tools for developers working on this repository. | 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. | Contains the script `github-merge.py` for merging GitHub pull requests securely and signing them using GPG. | ||||
### [Verify-Commits](/contrib/verify-commits) ### | ### [Verify-Commits](/contrib/verify-commits) ### | ||||
Tool to verify that every merge commit was signed by a developer using the above `github-merge.py` script. | Tool to verify that every merge commit was signed by a developer using the above `github-merge.py` script. | ||||
### [Linearize](/contrib/linearize) ### | ### [Linearize](/contrib/linearize) ### | ||||
Show All 39 Lines |