Integrated: 1280: Possible race condition when integrating PR could cause a spurious "Withdrawn" email

Tue Dec 14 16:37:12 UTC 2021

On Fri, 10 Dec 2021 20:31:27 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> Change the order of adding "integrated" label and closing a pull request to avoid a race with the mlbridge bot, which could otherwise mistakenly send out a "withdrawn" message for a PR that is in the process of being integrated.

This pull request has now been integrated.

Changeset: 2ed56ac1
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/2ed56ac14c73f118b3acb423402ff160b93eecb8
Stats:     2 lines in 1 file changed: 1 ins; 1 del; 0 mod

1280: Possible race condition when integrating PR could cause a spurious "Withdrawn" email

Reviewed-by: kcr

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

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