[vinc]

I noticed the same thing and indeed the status page is not reporting the issue. I could find the missing PRs by browsing the branches page.