RFR: 1706: Store github checks in PR unique way [v2]

Mon Feb 13 14:17:46 UTC 2023

On Fri, 10 Feb 2023 22:18:31 GMT, Zhao Song <zsong at openjdk.org> wrote:

> My test yesterday is not very good. I created multiple pull requests with the same source commit within a single repository, whereas the problem this patch was intended to address was creating multiple pull requests with the same source commit in different repositories.

I would say the intention is to handle both situations.

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

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