Post-release preparation for codeql-cli-2.13.5#13630

hvitved merged 3 commits intorc/3.10github/codeql:rc/3.10from

post-release-prep/codeql-cli-2.13.5github/codeql:post-release-prep/codeql-cli-2.13.5Copy head branch name to clipboard