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

Zhao Song zsong at openjdk.org
Thu Mar 30 21:25:18 UTC 2023

On Thu, 30 Mar 2023 21:20:24 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> I think this looks good now. Please verify some scenarios with playground in staging before going live.

Sure, thanks for the review!


PR Comment: https://git.openjdk.org/skara/pull/1492#issuecomment-1490979521

More information about the skara-dev mailing list