Update main: build v7.2.0#1379

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

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