Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GHA AUTHORS check: handle PRs from forks
where the ref names differ compared to own PRs. Instead refer to the base branch and the head branch via generic HEAD^<parent number> where HEAD is a merge commit.
- Loading branch information