Question about PR approvals

2024-02-08 Thread Mihai Budiu
Hi all, Several of my PRs have received LGTM, but no official approval. E.g.,: https://github.com/apache/calcite/pull/3672 What's the rule about these, can I go ahead and merge them (assuming the LGTM is from a committer)? There is a trade-off between being sure and pestering people for yet anot

Re: Question about PR approvals

2024-02-08 Thread Julian Hyde
I don’t think of GitHub’s approval check-box as ‘official’. As a committer, you can decide when you have ’sufficient approval’. If it’s a simple change, no approval is needed. Sometimes I say ‘looks good to go, please add javadoc to class Xyz’ and I would not expect (or want) to re-review. > On