2 Commits

Author SHA1 Message Date
Alexander A. Klimov
3230b7f228 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.
2024-06-12 16:10:54 +02:00
Alexander A. Klimov
b9b127f25d GHA: complain if PR adds commits from people not yet listed in ./AUTHORS
not to have to update ./AUTHORS or .mailmap after merging.
2023-11-24 17:26:57 +01:00