Integrated: 1590: Convert PullRequestBot to use new poller

Wed Sep 21 14:04:34 UTC 2022

On Thu, 8 Sep 2022 21:16:43 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.

This pull request has now been integrated.

Changeset: a1f48dd1
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/a1f48dd18c38b49aa9bb53b3a93d42b833fdf5f0
Stats:     37 lines in 1 file changed: 1 ins; 22 del; 14 mod

1590: Convert PullRequestBot to use new poller

Reviewed-by: ihse

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

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