Skip to content

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

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 #357