(promote) release: build v7.1.0#1372

Chickensoupwithrice wants to merge 1 commit into

internal/release-v7.1.0sourcegraph/deploy-sourcegraph-docker:internal/release-v7.1.0from

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