RFR: Fix git issues with merge bot

Robin Westberg rwestberg at openjdk.java.net
Wed Feb 5 11:01:33 UTC 2020

On Wed, 5 Feb 2020 10:56:25 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> please review this small patch that fixes a few issues with how the merge bot
> interacts with git.
> Thanks,
> Erik

Looks good!


Marked as reviewed by rwestberg (Reviewer).

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

More information about the skara-dev mailing list