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 # Create branch from clean primary branch
(
cd "$ops_root" cd "$ops_root"
git checkout "$PRIMARY_BRANCH" git checkout "$PRIMARY_BRANCH"
git pull origin "$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 echo "Error: failed to push branch" >&2
exit 1 exit 1
} }
)
# Create PR # Create PR
local pr_response local pr_response