RFR: 1912: Show priority for bugs in pull request body [v2]

[Erik Joelsson]

On Tue, 23 May 2023 21:04:28 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> The initial purpose of this issue is to show priority for bugs in the issue list in the pull request body. However, with current pr bot, if the user changes the type of the issue or the priority of the issue in the JBS, the changes will not be reflected in the PR body unless there is something could trigger the CheckWorkItem(like user edits the PR title and user issues some commands).
>> 
>> As Erik.J suggested, we could maintain a map(from JBS issue to the PRs related with this issue) in memory, so if the issue gets updated, we could know which pr needs to be updated.
>> 
>> To query updated issues and handle them, a new bot called `IssueBot` is introduced. This bot would query for updated issues(exclude CSR and JEP) in JBS, and it will read the in memory map to know whether there is any pr needs to be updated. If so, it will generate `CheckWorkItem` for that pr.
>> 
>> So currently, there are two ways to generate `CheckWorkItem`. Updated issues and updated pull requests. Previously, in the `CheckWorkItem`, we would check the metadata of the pull request and if the metadata is up to date, `jcheck` would not be triggered.  Now, we could check the metadata of the pull request and the issues related to this pr, but it would be too expensive because if only the pull request is updated, we also need to fetch all the issues from JBS to just generate the metadata. Therefore, in this patch, metadata is split to two parts, one part for pull request and one part for issues. If the `CheckWorkItem` is spawned from an updated pull request, we will only check pr metadata. On the other hand, if the `CheckWorkItem` is spawned from an updated issue, we will only check issues metadata.
>> 
>> Besides, since the map is in-memory, so if the bot restarts, the map needs to be initialized. When bot restarts, a `CheckWorkItem` would be generated for each pr, so the initialization is in `CheckWorkItem`.
>
> Zhao Song has updated the pull request incrementally with seven additional commits since the last revision:
> 
>  - fix some problems
>  - fix a problem
>  - delete IssueWorkItem
>  - change initializedPR to set
>  - fix synchronization
>  - print priority for all issues except CSR and JEP
>  - introduce PRRecord

bots/pr/src/main/java/org/openjdk/skara/bots/pr/PullRequestBot.java line 77:

> 75:     private final boolean enableBackport;
> 76:     private final Map<String, List<String>> issuePRMap;
> 77:     private final Map<String, Boolean> initializedPRs = new ConcurrentHashMap<>();

This could just be a `Set`. Also it doesn't need to be concurrent as it's local to just this PullRequestBot, and we don't run WorkItems for the same PR in parallel.

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

PR Review Comment: https://git.openjdk.org/skara/pull/1523#discussion_r1202797620