diff options
| author | Wladimir J. van der Laan <[email protected]> | 2015-02-20 09:54:38 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2015-02-20 09:59:33 +0100 |
| commit | aaba10f275059cd762c1f07597aa5efb24176cdd (patch) | |
| tree | 3b07e17fcc358b054c95245942769498e8787ac9 /src | |
| parent | Merge #5706: fix crash: RPC \ (diff) | |
| download | discoin-aaba10f275059cd762c1f07597aa5efb24176cdd.tar.xz discoin-aaba10f275059cd762c1f07597aa5efb24176cdd.zip | |
Revert "Make nicer pull request merge messages"
This reverts commit 1078fb08851442bcd7750c3d5015dc1fe7e4d927 (and thus
pull #5623). It has various issues:
- Pull request names get cut off at ", see e.g. a026a56
- Merge script no longer copes with pulls that have a milestone
attached, due to a duplicate 'title' in JSON that is not handled by the
ad-hoc parsing.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions