batch_exec: inject docker container registry as a prefix#945

danieldides wants to merge 2 commits intomainsourcegraph/src-cli:mainfrom

dd/inject-container-registrysourcegraph/src-cli:dd/inject-container-registryCopy head branch name to clipboard