Fix for numerical branch names#346

simon-engledew merged 1 commit intomaingithub/codeql-action:mainfrom

simon-engledew/fix-numerical-branchesgithub/codeql-action:simon-engledew/fix-numerical-branchesCopy head branch name to clipboard