Skip to content

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

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