Release update: deploy repos#1234

Chickensoupwithrice wants to merge 1 commit intomainsourcegraph/deploy-sourcegraph-docker:mainfrom

deploy-repos-release-6.4.3889sourcegraph/deploy-sourcegraph-docker:deploy-repos-release-6.4.3889Copy head branch name to clipboard