(promote) release: build v7.1.2426#434

devdinu wants to merge 1 commit intointernal/release-v7.1.2426sourcegraph/deploy-sourcegraph-k8s:internal/release-v7.1.2426from

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