dweiss commented on PR #14563: URL: https://github.com/apache/lucene/pull/14563#issuecomment-2859090286
Exactly! This would matter more if we actually merged PRs back to dev branches... but we squash them anyway so it can be a bit messy in PR history. Thank you for understanding. -- 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
