Hi all, Picking up the previous thread (https://groups.google.com/g/prometheus-developers/c/tPLOmT9pnBw/m/kxLn0q59AgAJ), I'd like to re-propose allowing auto-merge as a merge option.
Auto-merge is a merge option, to be used in conjugation with other merge options like squash merge, that once "enabled" for a pull request (the same action as clicking the merge button), will automatically merge the pull request once all checks have passed and required approvals have been submitted. If more commits are added by contributors without write access in the period between when auto-merge is enabled and the PR is merged, auto-merge will be canceled. Auto-merge won't just merge any PR once it's green, it requires the same intentional action from a maintainer as regularly merging a PR does. Auto-merge also doesn't equate an approval as a merge action, unless it is one of the requirements to merge and auto-merge is enabled. I believe we only require approvals on release branches, so only if a maintainer has decided to enable auto-merge for a PR to a release branch would an approval ever cause a PR to be auto-merged. https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request Personally, I could see this being useful when myself or a contributor has just pushed to PR and I want to merge it, but also can't sit around for 20 minutes until all the checks pass. Thanks (and congratulations to all the new team members), Levi -- You received this message because you are subscribed to the Google Groups "Prometheus Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-developers/b32fd1fc-2e43-4177-a17f-7b7207ff2d42n%40googlegroups.com.
