Browse Source
This reverts commitpull/41/head1078fb0885
(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.
Wladimir J. van der Laan
9 years ago
1 changed files with 2 additions and 4 deletions
Loading…
Reference in new issue