mikemccand commented on PR #13125: URL: https://github.com/apache/lucene/pull/13125#issuecomment-1957352374
Yay, I confirmed that githubsearch [picked up that mention of me](https://githubsearch.mikemccandless.com/search.py?sort=recentlyUpdated&dd=status%3AOpen&dd=mentioned_users%3Amikemccand) above @jpountz! And yes +1 to enable this in githubsearch: some good dog food here, yum yum! I'll open an issue in githubsearch. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
