fix: fix: re-seed ops repo directories after branch protection resolved (#820) #1074
No reviewers
Labels
No labels
action
backlog
blocked
bug-report
cannot-reproduce
in-progress
in-triage
needs-triage
prediction/actioned
prediction/dismissed
prediction/unreviewed
priority
rejected
reproduced
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#1074
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/issue-820"
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 #820
Changes
AI Review
Review
Two independent changes, both correct.
knowledge/.gitkeepseed (lib/ops-setup.sh:201):mkdir -p "${ops_root}/knowledge"already exists at line 189; the new.gitkeepline follows the identical pattern used forsprints,evidence/red-team, etc. Clean.Template
casestatement (lib/ops-setup.sh:366-413):tfileiterates over bare names fromtemplate_files=("portfolio.md" "prerequisites.md" "RESOURCES.md"); the function already rancd "$ops_root"at line 322, so the case patterns match exactly and file writes land in the right directory. The default*)arm preserves the previous generic template for any future additions.Verdict
APPROVE — Both hunks are correct: knowledge/.gitkeep seed follows the established pattern, and the case statement uses bare filenames that match the template_files array elements after cd ops_root.
Reviewed at
6673c0e| AGENTS.mdAI Review: APPROVE — Both hunks are correct: knowledge/.gitkeep seed follows the established pattern, and the case statement uses bare filenames that match the template_files array elements after cd ops_root.