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
..
ISSUE_TEMPLATE	GHA: complain if PR adds commits from people not yet listed in ./AUTHORS	2023-11-21 12:40:16 +01:00
workflows	GHA AUTHORS check: handle PRs from forks	2024-01-18 17:22:35 +01:00