(promote) release: build v7.2.1943#1381

sourcegraph-bot-2 wants to merge 1 commit intointernal/release-v7.2.1943sourcegraph/deploy-sourcegraph-docker:internal/release-v7.2.1943from

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