RFR: 1311: Pull Request not closed automatically

Kevin Rushforth kcr at openjdk.java.net
Fri Jan 21 00:41:03 UTC 2022

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

More information about the skara-dev mailing list