GHA: complain if PR adds commits from people not yet listed in ./AUTHORS#238
Open
Al2Klimov wants to merge 1 commit into
Open
GHA: complain if PR adds commits from people not yet listed in ./AUTHORS#238Al2Klimov wants to merge 1 commit into
Al2Klimov wants to merge 1 commit into
