GitHub user zhztheplayer added a comment to the discussion: Infra: Remove the approval restriction of merging PRs
> I would suggest the committer approves the PR first and then left some time > for other committers to notice this PR since we don’t need another > committee’s approval. I agree. For minor nit changes, perhaps it's OK to merge with confidence without waiting. But usually one should leave the PR open for some time after being filed to make sure the PR get enough notices from the community. GitHub link: https://github.com/apache/incubator-gluten/discussions/8556#discussioncomment-11863790 ---- This is an automatically sent email for [email protected]. To unsubscribe, please send an email to: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
