Hi! Question to committers: is there any documentation for 1) approval process (how many approvals PR should get to be merged), and 2) what is the process to merge a PR?
There is a bunch of PRs that I think is ready to merge, I'd like to follow right process for them. Specifically: - https://github.com/apache/griffin/pull/486 - https://github.com/apache/griffin/pull/485 - https://github.com/apache/griffin/pull/484 Thanks in advance
