Don't run label-pr-size once a PR has been merged - #3501

Don't run label-pr-size once a PR has been merged#3501

mbg merged 1 commit into

maingithub/codeql-action:mainfrom

mbg/ci/dont-label-mergedgithub/codeql-action:mbg/ci/dont-label-mergedCopy head branch name to clipboard