Always enable git_source registries#4000

mbg merged 4 commits into

maingithub/codeql-action:mainfrom

mbg/start-proxy/make-git-repos-always-availablegithub/codeql-action:mbg/start-proxy/make-git-repos-always-availableCopy head branch name to clipboard