(promote) release: build v6.12.5040#1356

michaellzc wants to merge 1 commit intointernal/release-v6.12.5040sourcegraph/deploy-sourcegraph-docker:internal/release-v6.12.5040from

promote/release-v6.12.5040sourcegraph/deploy-sourcegraph-docker:promote/release-v6.12.5040Copy head branch name to clipboard