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
