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

Thu Mar 30 21:25:18 UTC 2023

On Thu, 30 Mar 2023 18:49:34 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> In this patch, the whole csr bot module is removed. 
>> 
>> Original CSRPullRequestBot is deleted. The functionality of this bot has been moved to `CheckRun`.
>> 
>> Original CSRIssueBot has been moved to pr bot module. PullRequestBotFactory would generate a CSRIssueBot for every configured Issue project.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   fix CSRIssueBot name

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

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

Marked as reviewed by erikj (Lead).

PR Review: https://git.openjdk.org/skara/pull/1492#pullrequestreview-1365946643