Integrated: 993: Stuck merge PR (Panama)

[Erik Helin]

On Fri, 23 Apr 2021 14:27:35 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that makes the merge bot use the `/integrate auto` feature. The merge bot have previously had issues when it should have re-issued an `/integrate` command due to the pull request source branch being updated by a human. These concerns go away if the merge bot instead rely on the `/integrate auto` feature.
> 
> I also opted to make the `/sponsor` command a bit more lenient when a user has issued `/integrate auto`. If a user has run `/integrate auto` then a sponsor can sponsor the PR as soon as it is ready, they don't have to wait for the bots to add the `/integrate` comment.
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 4d271a08
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/4d271a08a3896d6fa6e6791227c5165c58c2e0c2
Stats:     136 lines in 3 files changed: 2 ins; 132 del; 2 mod

993: Stuck merge PR (Panama)

Reviewed-by: rwestberg

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

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