Tell HN: GitHub Filters Seem Broken

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?)