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

Fri Feb 10 21:09:55 UTC 2023

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

> After testing, I realized that just filtering is insufficient for GitHub as checks in pull requests are same as checks in source commits(There is no need to copy). To display only relevant checks, we may need to store checks separately under the source commit.

Are you saying that the testinfo bot isn't needed?

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

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