Integrated: 1311: Pull Request not closed automatically

[Erik Joelsson]

On Thu, 20 Jan 2022 18:56:18 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> If an integration gets interrupted or fails at the wrong time, a PR may end up in a state where it gets stuck without ever being closed. I fixed this by making sure we give any commit commands the chance to run even when a PR is marked as integrated.
> 
> I've also extended the test to verify recovering from interruption at each of the steps we take when integrating.

This pull request has now been integrated.

Changeset: 8ad1c7ab
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/8ad1c7ab7e5d1c582ccf5ae429246a8aaa15e8f9
Stats:     88 lines in 3 files changed: 41 ins; 29 del; 18 mod

1311: Pull Request not closed automatically

Reviewed-by: kcr

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

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