Use default request options instead of undefined#4030

mbg merged 1 commit into

maingithub/codeql-action:mainfrom

mbg/fix/no-proxygithub/codeql-action:mbg/fix/no-proxyCopy head branch name to clipboard