Clean-up logic for overriding proxy#2839

henrymercer merged 2 commits intomaingithub/codeql-action:mainfrom

marcogario/clean-up-proxy-workaroundgithub/codeql-action:marcogario/clean-up-proxy-workaroundCopy head branch name to clipboard