release.sh: cd in disinto_release() permanently changes CWD of calling shell #323
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
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: disinto-admin/disinto#323
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
Flagged by AI reviewer in PR #322.
Problem
disinto_release()callscd "$ops_root"(line 121) without a subshell. This permanently changes the working directory of the calling shell session after the function returns. If any code runs afterdisinto releasein the same session it will be in the wrong directory.Fix
Wrap the git operations in a subshell:
(cd "$ops_root" && git checkout ...)or usepushd/popd.Auto-created from AI review
Affected files
lib/release.sh(line 121 — thecd "$ops_root"call)Acceptance criteria
disinto_release()does not permanently change the CWD of the calling shelllib/release.sh