(promote) release: build v6.12.5040#414

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

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