RFR: 1455: Github closed action may not contain an actor

Fri May 27 17:39:53 UTC 2022

On Fri, 27 May 2022 17:18:46 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> As described in the bug, pr.closedBy() may (consistently) return empty on Github in some cases. Rather than getting stuck retrying endlessly, I think we should just add a fallback.

Looks good.

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

Marked as reviewed by kcr (Reviewer).

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