Skip to content
Discussion options

You must be logged in to vote

Follow-up from the engineering team 👋 We've identified a bug in our search logic that led to PRs not showing up in certain scenarios. The team just enabled a mitigation and PRs should now show up again. Apologies for the disruption!

Replies: 7 comments 7 replies

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
1 reply
@KevTheRev13
Comment options

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
1 reply
@oakif
Comment options

Comment options

You must be logged in to vote
1 reply
@snoyer
Comment options

Comment options

You must be logged in to vote
4 replies
@lumaxis
Comment options

Answer selected by andrei-lazarov
@andrei-lazarov
Comment options

@oakif
Comment options

@thibaudcolas
Comment options

Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bug GitHub or a GitHub feature is not working as intended Code Search and Navigation Search, navigate, and understand code on GitHub Welcome 🎉 Used to greet and highlight first-time discussion participants. Welcome to the community! source:ui Discussions created via Community GitHub templates Other Features and Feedback Discussions that fall into "Other" category