RFR: Do not use pull in merge bot

Robin Westberg rwestberg at openjdk.java.net
Wed Feb 5 15:13:33 UTC 2020

On Wed, 5 Feb 2020 15:06:45 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> please review this patch that ensures that merge bot do not use pull (it should
> only use merge operations).
> Thanks,
> Erik

Looks good!


Marked as reviewed by rwestberg (Reviewer).

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

More information about the skara-dev mailing list