Update main: build v7.1.2426#1375

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

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