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