No matches were found for subject:"\[GitHub\] \[lucene\] jpountz merged pull request #716\: LUCENE\-10002\: Replace test usages of TopScoreDocCollector with a corresponding collector manager"