You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ci: maintainer_check: Check out "merged" MAINTAINERS.yml
When a pull request is based off an old commit in the base branch (usually
`main`), the MAINTAINERS file from the `pull/NUMBER/head` ref may contain
out-of-date changes, and running diff between it and the MAINTAINERS file
from the latest base branch may return more changes than what is actually
made in the pull request.
This commit updates the workflow to check out the MAINTAINERS file from the
`pull/NUMBER/merge` ref, which is a temporary ref created by GitHub with
the pull request commits merged into the base branch.
Signed-off-by: Stephanos Ioannidis <[email protected]>
0 commit comments