Document closed-not-merged PR reconciliation rules #51

Closed
opened 2026-07-02 03:14:32 -05:00 by jcwalker3 · 2 comments
Owner

A bad state occurred around PR #47 / issue #46:

  • PR #47 became closed.
  • Gitea reported PR #47 as not merged.
  • PR #47 had no merge commit in PR metadata.
  • Issue #46 was closed.
  • Issue #46 still had status:in-progress.
  • prgs/master advanced to a #46-related commit.
  • The reviewer correctly stopped because the normal 'PR is open' gate failed.

This means the content may have landed on master, but the PR/issue metadata did not reflect a normal merge. The workflow needs explicit rules for detecting, stopping, reconciling, and reporting this state.

A bad state occurred around PR #47 / issue #46: * PR #47 became closed. * Gitea reported PR #47 as not merged. * PR #47 had no merge commit in PR metadata. * Issue #46 was closed. * Issue #46 still had `status:in-progress`. * `prgs/master` advanced to a #46-related commit. * The reviewer correctly stopped because the normal 'PR is open' gate failed. This means the content may have landed on master, but the PR/issue metadata did not reflect a normal merge. The workflow needs explicit rules for detecting, stopping, reconciling, and reporting this state.
Author
Owner

Claimed. status:in-progress

Claimed. status:in-progress
Author
Owner

Reconciliation: PR #52 is closed-not-merged in Gitea metadata (state=closed, merged=false, no merge commit), but the equivalent #51 content is present on master (landed via commit ec9ddb0 "docs: closed-not-merged PR reconciliation rules (#51)"). Verified on master (6089ec7): closed-not-merged/landed/reconciled definitions and direct-master-push restrictions in skills/llm-project-workflow/SKILL.md, and templates/reconcile-closed-not-merged-pr.md. No status:in-progress label present. Issue remains closed; no corrective PR needed.

Reconciliation: PR #52 is closed-not-merged in Gitea metadata (state=closed, merged=false, no merge commit), but the equivalent #51 content is present on `master` (landed via commit ec9ddb0 "docs: closed-not-merged PR reconciliation rules (#51)"). Verified on master (6089ec7): closed-not-merged/landed/reconciled definitions and direct-master-push restrictions in skills/llm-project-workflow/SKILL.md, and templates/reconcile-closed-not-merged-pr.md. No `status:in-progress` label present. Issue remains closed; no corrective PR needed.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Scaled-Tech-Consulting/Gitea-Tools#51