(promote) release: build v7.1.2426#1374

devdinu wants to merge 3 commits intointernal/release-v7.1.2426sourcegraph/deploy-sourcegraph-docker:internal/release-v7.1.2426from

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