Tell HN: GitHub Filters Seem Broken

[philip1209]

In our repo - it says "Pull Requests: 100" in the nav, but clicking in it says "There aren’t any open pull requests."

I can recreate across many different filters - but something is busted right now. (Perhaps elasticsearch-related?)

[EDM115]

https://www.githubstatus.com/incidents/ql942tw29yl6

[jfk13]

Just to confirm, I'm seeing the same issue on other repos. Sometimes a subset of the expected PRs show up, other times none at all.