fix: re-seed ops repo directories after branch protection resolved #820
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
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: disinto-admin/disinto#820
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?
Problem
The ops repo (
disinto-ops) is missing critical directories thatlib/ops-setup.shcreates for new deployments but were never seeded on the existing deployment:vault/pending/,vault/approved/,vault/fired/,vault/rejected/— vault lifecycle workflowevidence/engagement/,evidence/red-team/,evidence/holdout/,evidence/evolution/,evidence/user-test/— evidence collectionportfolio.md— addressables + observables inventoryRESOURCES.md— accounts, tokens, infra inventory#425 (closed 2026-04-08) added the code to
ops-setup.shbut the seeding was never pushed to the live deployment due to #758 (branch protection).Dependencies
Depends on #758 — branch protection must be resolved before this can push.
Proposed solution
Run
setup_ops_repo()fromlib/ops-setup.shagainst the existing ops repo, or rundisinto init(now idempotent per #800). This will create the missing directories and.gitkeepfiles.Affected files
Acceptance criteria