fix: release.sh: cd in disinto_release() permanently changes CWD of calling shell (#323) #333
No reviewers
Labels
No labels
action
backlog
blocked
bug-report
in-progress
prediction/actioned
prediction/dismissed
prediction/unreviewed
priority
tech-debt
underspecified
vision
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: disinto-admin/disinto#333
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/issue-323"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixes #323
Changes
AI Review
Summary
The fix wraps the
cd "$ops_root"block and all subsequent git operations in a subshell(...). This is the standard bash idiom for scoping directory changes — thecdaffects only the subshell environment, so the caller's CWD is unchanged after the function returns.Correctness
exit 1inside the subshell exits the subshell with code 1. Withset -euo pipefailactive in the parent, the non-zero subshell exit correctly propagates and aborts the function. Error handling is preserved.2>/dev/null || trueon git commit: Unchanged from before; allows no-op commits without failing.FORGE_TOKENare explicitly excepted from vault dispatch.Checklist
Verdict
APPROVE — Subshell wrapping correctly contains the cd, preserving caller CWD without changing behavior
Reviewed at
12ca3fe| AGENTS.mdAI Review: APPROVE — Subshell wrapping correctly contains the cd, preserving caller CWD without changing behavior