diff options
| author | fanquake <fanquake@gmail.com> | 2019-08-16 08:20:39 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2019-08-19 19:16:57 +0800 |
| commit | 6c27fa0f09e5ec3854f30673d26c6e5e2d27063e (patch) | |
| tree | 0a418ea1d606c6b1f7325c40677ff7f6bb1efee7 /contrib/README.md | |
| parent | 27ee0cc5a6d984d38c97915ea2174a217b3426d8 (diff) | |
scripts: remove github-merge.py
This script has been moved to the bitcoin-core/bitcoin-maintainer-tools repository,
after discussion in a core dev meeting. The rationale being that it is also useful to
other projects, and thus should be moved to a more general repository.
Meeting log: http://www.erisian.com.au/bitcoin-core-dev/log-2019-08-15.html
See also: https://github.com/bitcoin-core/bitcoin-maintainer-tools/pull/28
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 8915919766..e9e72f6686 100644 --- a/contrib/README.md +++ b/contrib/README.md @@ -3,10 +3,10 @@ Repository Tools ### [Developer tools](/contrib/devtools) ### 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. +Additional tools, including the `github-merge.py` script, are available in the [maintainer-tools](https://github.com/bitcoin-core/bitcoin-maintainer-tools) repository. ### [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 `github-merge.py` script. ### [Linearize](/contrib/linearize) ### Construct a linear, no-fork, best version of the blockchain. |