(promote) release: build v7.2.0#437

DaedalusG wants to merge 1 commit intointernal/release-v7.2.0sourcegraph/deploy-sourcegraph-k8s:internal/release-v7.2.0from

promote/release-v7.2.0sourcegraph/deploy-sourcegraph-k8s:promote/release-v7.2.0Copy head branch name to clipboard