shubhamvishu commented on PR #14963: URL: https://github.com/apache/lucene/pull/14963#issuecomment-3189069784
> ooh, it's nice to avoid force-push -- recommended way to keep up with main is git merge main into your branch Agreed, sometimes I end up doing `git commit --amend --no-edit` to merge staged changes with the top commit and it changes the commit id which then doesn't allow to push cleanly (I should probably train my muscle mem to stop doing that) -- 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