Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Handle correctly similar results from multiple projects #383
Description of the Change
This PR fixes #382 by adding any root that contains a filter result to the list of final results.
We could change
None that I can think of.
nathansobo left a comment
I requested a few minor changes, but also noticed a pretty big issue that already existed prior to these changes, which is our use of