As your 2 commits are the first 2 commits on main, I think it's okay if
you go ahead and squash them. Since they were committed on the weekend,
I don't think too many people would have updated their main branch.
Francis
On 11/12/2023 8:20 am, Mihai Budiu wrote:
Hello,
By mistake I merged a PR which contained two commits instead of the customary
one. What is the policy (and method) for fixing this for the Calcite repository?
https://github.com/apache/calcite/commit/5b441c639de1ec428891061b931bd69d9996efe4
Should have been squashed into
https://github.com/apache/calcite/commit/1b36f07ce98f0e6d620b5ea1e1c773b376c3e81e
Sorry for the complications, I will double check next time.
Thank you,
Mihai
