(promote) release: build v7.1.2426#852

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

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