(internal) release_patch: build v6.12.2541#1348

devdinu wants to merge 1 commit intomainsourcegraph/deploy-sourcegraph-docker:mainfrom

internal/release-v6.12.2541sourcegraph/deploy-sourcegraph-docker:internal/release-v6.12.2541Copy head branch name to clipboard