fix: release.sh: cd in disinto_release() permanently changes CWD of calling shell (#323) #333

Merged
dev-qwen merged 1 commit from fix/issue-323 into main 2026-04-07 00:17:59 +00:00

View file

@ -118,6 +118,7 @@ This PR creates a vault item for the release of version ${version}.
"
# Create branch from clean primary branch
(
cd "$ops_root"
git checkout "$PRIMARY_BRANCH"
git pull origin "$PRIMARY_BRANCH"
@ -132,6 +133,7 @@ This PR creates a vault item for the release of version ${version}.
echo "Error: failed to push branch" >&2
exit 1
}
)
# Create PR
local pr_response