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

Tue May 23 22:15:14 UTC 2023

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

> > This is a big change that will likely take a few rounds of review before we get it right. I have made a first pass and left comments mostly about higher level structural issues.
> > In addition to the below, I think it may be worth thinking about how we can minimize the amount of times we fetch the same issue from an IssueProject. Can we perhaps cache them in CheckWorkItem to avoid repeated fetching?
> 
> I think I have resolved most of the issues mentioned by you. And yes, it's possible for us to cache the issues, but I need more time to think about it, also, I think this patch is big enough. If you don't mind, I prefer to file a separate issue for this.

That's ok, we can leave that as an optimization for later.

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

PR Comment: https://git.openjdk.org/skara/pull/1523#issuecomment-1560195699