Andy Tudhope 5f979cdf8c
merge-pr script should prompt for multiple commits
Fixes #2971

Because I don't think it is worth a bounty - all the code required was already in the `merge-external-pr.sh` so I have just copied the relevant parts across and added the few necessary lines to ensure that PRs from core contributors cannot be merged unless they have been squashed down to a single commit.

Changed fatal to confirm for merge-pr
2018-01-16 18:01:53 +01:00
..
2017-12-12 09:05:18 +01:00
2018-01-03 12:39:45 +02:00
2017-12-08 18:26:01 +01:00
2018-01-16 23:42:30 +09:00