RFR: 1590: Convert PullRequestBot to use new poller [v2]

Tue Sep 20 15:07:18 UTC 2022

On Fri, 16 Sep 2022 17:02:15 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> With the new poller introduced in [SKARA-1565](https://bugs.openjdk.org/browse/SKARA-1565), we can now start converting more bots to use it. This issue covers the PullRequestBot. I'm posting the PR now already mostly to demonstrate of well the new poller fits in.
>
> Erik Joelsson has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains two commits:
> 
>  - Merge branch 'SKARA-1565-pr-poll' into SKARA-1590-poller-pr-bot
>  - SKARA-1590

Looks good! Nice to see this come to use.

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

Marked as reviewed by ihse (Reviewer).

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