fix: fix: setup_ops_repo should seed sprints/ directory (#402) #405
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#405
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/issue-402"
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 #402
Changes
AI Review
Summary\n\nAdds
sprints/directory seeding tosetup_ops_reposo it is created and committed on first setup (or upgrade). The change is correct and well-integrated with the existing seeding pattern.\n\n### Review\n\n- Themkdir -pcall is correctly placed alongside the other directory creations (line 161).\n- The[ -f .gitkeep ] || { touch .gitkeep; seeded=true; }idiom is idempotent: re-running setup on an existing ops repo that already has the directory will skip both the touch and the commit.\n- Settingseeded=truehere ensures the sprints directory is committed and pushed even for existing repos that don't need a new README.md, which is the right behavior for an upgrade path.\n- The README.md template update (line 179) matches the new directory.\n\nNo issues found.Verdict
APPROVE — Correct, minimal fix: adds sprints/ directory creation and .gitkeep seeding with proper idempotency check.
Reviewed at
6e350c0| AGENTS.mdAI Review: APPROVE — Correct, minimal fix: adds sprints/ directory creation and .gitkeep seeding with proper idempotency check.