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
..
2023-07-06 14:21:03 +02:00