(internal) release_patch: build v6.12.2541#813

devdinu wants to merge 2 commits into

mainsourcegraph/deploy-sourcegraph-helm:mainfrom

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