2 Commits

Author	SHA1	Message	Date
Alexander A. Klimov	82e9c71001	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-01-18 17:22:35 +01:00
Alexander A. Klimov	8025e0259a	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-21 12:40:16 +01:00