RFR: 2015: Initial run of PR IssueBot misses issue updates [v2]

[Zhao Song]

On Mon, 18 Sep 2023 22:35:28 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   update
>
> bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckWorkItem.java line 111:
> 
>> 109:      * Create Normal CheckWorkItem
>> 110:      */
>> 111:     public static CheckWorkItem normal(PullRequestBot bot, String prId, Consumer<RuntimeException> errorHandler, ZonedDateTime triggerUpdatedAt) {
> 
> Maybe call it `fromWorkItem`.

Sure

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

PR Review Comment: https://git.openjdk.org/skara/pull/1554#discussion_r1331914206