This seems nice for after pushing `spotlessApply` on an otherwise approved and passing PR. I just enabled it and tried it on #6774. (somewhat related to #6743) Btw, I thought this was helpful explanation > After you enable auto-merge for a pull request, if someone who does not have write permissions to the repository pushes new changes to the head branch or switches the base branch of the pull request, auto-merge will be disabled. For example, if a maintainer enables auto-merge for a pull request from a fork, auto-merge will be disabled after a contributor pushes new changes to the pull request. https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request#about-auto-merge |
||
---|---|---|
.. | ||
apidiffs | ||
contributing | ||
misc | ||
advanced-configuration-options.md | ||
agent-features.md | ||
java-7-rationale.md | ||
logger-mdc-instrumentation.md | ||
safety-mechanisms.md | ||
scope.md | ||
semantic-conventions.md | ||
standalone-library-instrumentation.md | ||
supported-libraries.md |