RFR: 1851: Fold CSR bot into PR bot [v3]

Erik Joelsson erikj at openjdk.org
Tue Mar 28 19:47:19 UTC 2023

On Tue, 28 Mar 2023 17:57:12 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> I think the checkbox should already be checked at that point.
> Please see the latest commit. I have updated this test.

Ah, checked again with latest and you are right. I may have looked at the wrong `body` variable as I was in a hurry.


PR Review Comment: https://git.openjdk.org/skara/pull/1492#discussion_r1151037525

More information about the skara-dev mailing list