Remix.run Logo
Tell HN: GitHub PR page no longer lists all PRs
3 points by stabbles 5 hours ago | 2 comments

I noticed that in multiple projects PRs have gone missing from the pull requests tab.

For example, take https://github.com/python/cpython/pulls, notice that the tab says 2.2K, while the overview only lists only 1154 open. Half of the open pull requests simply cannot be found with the search, which is the API used on that page.

These PRs still exist, but the only way to open the page is if you happen to know the PR number, or if you push to a branch, which seems to trigger the PR to get reindexed in search.

neilcookster 4 hours ago | parent | next [-]

Exactly the same issue here - multiple PRs disappeared

verdverm 5 hours ago | parent | prev [-]

GitHub had issues with their Elasticsearch cluster yesterday, probably still having them it sounds like