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