This message was deleted.

if you open those PRs does it fix the issue?

No 😞 each time I open the PR, it shows the

Ready to merge

badge for a brief second, then updates to

Merged

but my main dashboard page still shows the stale state.