Integrated: 1674: Skara bot is not closing the bug after merge request is integrated

Fri Nov 11 15:00:25 UTC 2022

On Fri, 11 Nov 2022 11:38:16 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> This is a tentative fix for [SKARA-1674](https://bugs.openjdk.org/browse/SKARA-1674). This fix simply reverts [SKARA-1479](https://bugs.openjdk.org/browse/SKARA-1479). It will (most likely) fix the more urgent issue of the bots not being able to close pull requests, at the expense of reintroducing the problem with the Dukebot user assignment that SKARA-1479 tried to fix.
> 
> Unfortunately Erik is out of office, so I think this is the best we can do at the moment, and then we can file a REDO bug for SKARA-1479, to re-implement it but more robustly.

This pull request has now been integrated.

Changeset: fbbec971
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/fbbec971ef6fb878a67f8ea048f1def2f146497b
Stats:     5 lines in 1 file changed: 0 ins; 4 del; 1 mod

1674: Skara bot is not closing the bug after merge request is integrated

Reviewed-by: kcr

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

PR: https://git.openjdk.org/skara/pull/1419