diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-19 09:53:26 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-20 13:02:45 +0100 |
| commit | da6d18b6c7a4c305b661684ccda23083731bbb08 (patch) | |
| tree | cc4f35e748215427b8643acc624a722da619d153 /contrib/README.md | |
| parent | 668906fcf27bdf43a82fe331a377aef55e4b593a (diff) | |
devtools: replace github-merge with python version
This is meant to be a direct translation of the bash script,
with the difference that it retrieves the PR title from github,
thus creating pull messages like:
Merge #12345: Expose transaction temperature over RPC
Diffstat (limited to 'contrib/README.md')
| -rw-r--r-- | contrib/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/README.md b/contrib/README.md index 125594312b..b6e572102a 100644 --- a/contrib/README.md +++ b/contrib/README.md @@ -11,10 +11,10 @@ Repository Tools ### [Developer tools](/contrib/devtools) ### 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. +Contains the script `github-merge.py` 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. +Tool to verify that every merge commit was signed by a developer using the above `github-merge.py` script. ### [Linearize](/contrib/linearize) ### Construct a linear, no-fork, best version of the blockchain. |