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

Fri Nov 11 14:03:22 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.

Looks good.

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

Marked as reviewed by kcr (Reviewer).

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