dweiss commented on PR #12650: URL: https://github.com/apache/lucene/pull/12650#issuecomment-1757346355
Just to be clear - the above is not _strictly_ necessary but I think it'd make for a much saner commit history and ability to review what you did to the build files, otherwise it gets obscured by auto-formatting diffs. The suggested changes can come as a single PR, but then should be merged using a merge commit (so that the history of individual commits is there). -- 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
