No matches were found for subject:"\[GitHub\] \[lucene\] jpountz merged pull request #622\: LUCENE\-10395\: Introduce TotalHitCountCollectorManager"