RFR: 391: Abort merge if source branch merge isn't fast-forward

Mon May 11 17:09:45 UTC 2020

On Mon, 11 May 2020 13:37:23 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that ensures that the merge bot's local storage has been cleanly updated with the latest
> destination changes (through a fast-forward merge). Otherwise, it's possible for an error to be detected when doing the
> actual merge, even though it should succeed.  Best regards,
> Robin

Marked as reviewed by jvernee (Reviewer).

-------------

PR: https://git.openjdk.java.net/skara/pull/622