RFR: 1311: Pull Request not closed automatically

[Kevin Rushforth]

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.

Marked as reviewed by kcr (Reviewer).

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

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