+1 Sorry, I didn't saw this ML and merged the PR already. We can revert that in case preferred.
Thanks, Yong On 2026/06/07 16:56:54 Jean-Baptiste Onofré wrote: > Hi folks, > > I created the PR [1] to enable three actions on the GitHub Merge button: > - Squash and merge (the only action we can do today) > - Create a merge commit (preserving the history/commits) > - Rebase and merge (preserving the history/commits) > > You can find more information about what it means here: > https://docs.github.com/fr/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/merging-a-pull-request > > [1] https://github.com/apache/polaris/pull/4634 > > Concretely, once this PR is merged, the merge button will have a dropdown > menu to select the desired action. > > Thoughts? > > Regards > JB >
