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?)
Tell HN: GitHub Filters Seem Broken
1–3 of 3 posts
Re: Tell HN: GitHub Filters Seem Broken
#2Just 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.