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

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