Skip to content

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS #3784

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS

GHA: complain if PR adds commits from people not yet listed in ./AUTHORS #3784