Workflow for merge protection for specific named branches #20

eirikurj merged 1 commit intomainscritical/.github:mainfrom

devscritical/.github:devCopy head branch name to clipboard