Integrated: 1311: Pull Request not closed automatically

Erik Joelsson erikj at
Fri Jan 21 13:52:32 UTC 2022

On Thu, 20 Jan 2022 18:56:18 GMT, Erik Joelsson <erikj at> 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>
Stats:     88 lines in 3 files changed: 41 ins; 29 del; 18 mod

1311: Pull Request not closed automatically

Reviewed-by: kcr



More information about the skara-dev mailing list