Update main: build v7.1.0#1376

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

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