HomePhabricator

Remove unused github-merge script

Description

Remove unused github-merge script

Summary: This script is (to my knowledge) unused and causing merge conflicts with various backports.

Test Plan: N/A

Reviewers: deadalnix, schancel, Fabien, #bitcoin_abc

Reviewed By: schancel, #bitcoin_abc

Subscribers: teamcity

Differential Revision: https://reviews.bitcoinabc.org/D2000

Details

Provenance
jasonbcoxAuthored on Nov 10 2018, 01:04
jasonbcoxPushed on Nov 10 2018, 01:05
Reviewer
Restricted Project
Differential Revision
D2000: Remove unused github-merge script
Parents
rABCe3c575717431: bump version to 0.18.4
Branches
Unknown
Tags
Unknown