I'm curious about the GitHub PR conventions we use today... say I want to backport a commit from trunk to branch-3.3, and there's a small code conflict so I push a PR against branch-3.3 using GitHub to go through the precommit check.
Do I need explicit approval from another committer to merge the backport PR? (As.a committer, I know I can merge at any time) or can I merge when the precommit comes back okay?
