Tell HN: GitHub PRs disappearing but only from search

9 points by ojno ↗ HN
GitHub appears to be having an issue where PRs are disappearing from search, but only search; if you know the PR #, you can still find it.

Now an incident: https://www.githubstatus.com/incidents/ql942tw29yl6

2 comments

[ 1.5 ms ] story [ 19.9 ms ] thread
We discovered this at work when the number of PRs in our monorepo started dropping off a cliff. Caused quite a panic!
The incident is now closed, yet the issue still persists.