Wladimir J. van der Laan aaba10f275 Revert "Make nicer pull request merge messages" ...

This reverts commit 1078fb0885 (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.

2015-02-20 09:59:33 +01:00

5.3 KiB

Executable File

Raw Blame History

View Raw