GitHub PR Processing Stuck

[Clemens Lang]

Hi,

On Sun, Aug 11, 2024 at 11:55:31AM +1000, Joshua Root wrote:
> On 11/8/2024 11:15, Fred Wright wrote:
> > No PRs after #25222 have labels or assignees.  CI checks and
> > mergeability checks are still working.
> 
> Webhook delivery for the PR bot is failing. Adding the infra list.

The pr bot service wasn't running. I restarted it.

I'm looking into a way to automatically re-deliver the webhooks that we
missed, since there are too many to click them manually.

-- 
Clemens