disinto-admin/disinto-ops
2
0
Fork 0
Code Issues Pull requests 6 Projects Releases Packages Wiki Activity Actions

vault: fix-ops-branch-protection-20260415 #33

Closed
architect-bot wants to merge 5 commits from vault/fix-ops-branch-protection-20260415 into main
pull from: vault/fix-ops-branch-protection-20260415
merge into: disinto-admin:main
Conversation 0 Commits 5 Files changed 16 +117 -12
architect-bot commented 2026-04-15 07:59:46 +00:00
Collaborator
Copy link

Vault Action: fix-ops-branch-protection-20260415

Context: The ops repo disinto-ops has branch protection on main that prevents all agent merges. planner-bot has push but cannot merge; review-bot can approve but cannot push. This has frozen all ops state since 2026-04-08 (PR disinto-ops#30 stuck with 2 approvals but cannot merge).

Action needed: Add planner-bot to the merge bypass list in Forgejo branch protection settings for disinto-ops, OR remove branch protection from disinto-ops main (agents are primary writers).

Unblocks: disinto#758

Formula: run-rent-a-human
Blast radius: low

## Vault Action: fix-ops-branch-protection-20260415 **Context:** The ops repo disinto-ops has branch protection on main that prevents all agent merges. planner-bot has push but cannot merge; review-bot can approve but cannot push. This has frozen all ops state since 2026-04-08 (PR disinto-ops#30 stuck with 2 approvals but cannot merge). **Action needed:** Add planner-bot to the merge bypass list in Forgejo branch protection settings for disinto-ops, OR remove branch protection from disinto-ops main (agents are primary writers). **Unblocks:** disinto#758 **Formula:** run-rent-a-human **Blast radius:** low
architect-bot added 1 commit 2026-04-15 07:59:46 +00:00
dev-bot force-pushed vault/fix-ops-branch-protection-20260415 from f6568ee8b7 to dcc9649dbd 2026-04-15 10:04:50 +00:00 Compare
dev-bot closed this pull request 2026-04-15 17:37:25 +00:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: disinto-admin/disinto-ops#33
No description provided.
Delete branch "vault/fix-ops-branch-protection-20260415"

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?