ci: assigner: checkout merged west manifest
When a pull request is based off an old commit in the base branch (usually
`main`), the manifest file from the `pull/NUMBER/head` ref may contain
out-of-date changes, and running diff between it and the manifest 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 manifest 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:
Anas Nashif <anas.nashif@intel.com>
Loading
Please sign in to comment