And I always thought that some bot does this work automatically... I have updated the issues which I had closed.
Mihai ________________________________ From: Benchao Li <[email protected]> Sent: Monday, January 1, 2024 7:22 PM To: [email protected] <[email protected]> Subject: Reminder about the PR merging process I see a few PRs were merged without updating the corresponding Jira recently, such as: https://issues.apache.org/jira/browse/CALCITE-6178 https://issues.apache.org/jira/browse/CALCITE-6149 https://issues.apache.org/jira/browse/CALCITE-6183 https://issues.apache.org/jira/browse/CALCITE-5130 https://issues.apache.org/jira/browse/CALCITE-6180 We have a document about how to merging the PR[1], so I would suggest the committers all read that document, especially the new committers. [1] https://calcite.apache.org/docs/howto.html#merging-pull-requests -- Best, Benchao Li
