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
