Update main: build v7.1.2426#435

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

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