docs: closed-not-merged PR reconciliation rules #52

Closed
jcwalker3 wants to merge 0 commits from docs/issue-51-closed-not-merged-reconciliation into master
Owner

Closes #51.

Closes #51.
jcwalker3 added 1 commit 2026-07-02 03:16:16 -05:00
Documents and enforces rules for closed-not-merged PR reconciliation, direct-master-push prevention, and issue label cleanup.

Rules added:
- Explicit definitions for Merged, Landed, Closed-not-merged, and Reconciled.
- A PR is done only when Gitea reports it merged or reconciliation proves content is present on master.
- Direct push to master is forbidden except as a documented recovery exception.
- PRs closed but not merged trigger the reconciliation process.
- Branch and worktree cleanup is forbidden until merge or reconciliation is confirmed.
- Final reports require PR metadata and Git content verification.

Closes #51.
jcwalker3 closed this pull request 2026-07-02 03:31:00 -05:00
jcwalker3 deleted branch docs/issue-51-closed-not-merged-reconciliation 2026-07-02 03:31:00 -05:00

Pull request closed

Sign in to join this conversation.