(promote) release: build v7.2.0#1378

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

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