subject:"\[GitHub\] \[spark\] AmplabJenkins removed a comment on pull request #31525\: \[MINOR\]\[INFRA\]\[DOC\]\[3.1\] Change the facetFilters of Docsearch to 3.1.1"

No matches were found for subject:"\[GitHub\] \[spark\] AmplabJenkins removed a comment on pull request #31525\: \[MINOR\]\[INFRA\]\[DOC\]\[3.1\] Change the facetFilters of Docsearch to 3.1.1"