Update main: build v7.2.1943#1382

sourcegraph-buildkite wants to merge 1 commit intomainsourcegraph/deploy-sourcegraph-docker:mainfrom

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