Skip to content

Clarify mirror != back-merge and fix staleness-parenthetical grammar#239

Merged
ptr727 merged 1 commit into
developfrom
docs/consistency-mirror-clarifier
Jul 3, 2026
Merged

Clarify mirror != back-merge and fix staleness-parenthetical grammar#239
ptr727 merged 1 commit into
developfrom
docs/consistency-mirror-clarifier

Conversation

@ptr727

@ptr727 ptr727 commented Jul 3, 2026

Copy link
Copy Markdown
Owner

Brings the develop-mirror learning in AGENTS.md into line with the fully-converged wording in the sibling repo (both refinements surfaced from the Copilot review loop there):

  • Mirror clarifier: state explicitly that "Mirror" means landing the same fix directly on develop via a follow-up PR targeting develop - never a main -> develop back-merge (which the forward-only rule forbids). Removes an ambiguity a reviewer flagged: "Mirror to develop" could otherwise be misread as recommending a back-merge.
  • Grammar: add the missing verb in the staleness parenthetical ("occasionally develop is reworking a main-side fix differently").

Net effect: the mirror/staleness bullet is now byte-identical to the sibling repo's, so the two read consistently.

Targets develop; the develop -> main promotion PR will carry it. No issue to close.

Bring the develop-mirror learning in line with the converged wording in the
sibling repo: state explicitly that "mirror" means a follow-up PR onto develop,
never a main -> develop back-merge (which the forward-only rule forbids), and add
the missing verb in the staleness parenthetical ("occasionally develop is
reworking"). Both refinements came out of the Copilot review loop downstream.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings July 3, 2026 18:08

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the contributor/agent guidance in AGENTS.md to remove ambiguity around the “mirror to develop” instruction and to fix a minor grammar issue, keeping the branching-policy documentation precise and consistent.

Changes:

  • Clarifies that “mirror” means landing the same fix directly on develop via a follow-up PR targeting develop, not performing a forbidden main -> develop back-merge.
  • Fixes the missing verb in the staleness parenthetical (“develop is reworking ...”).

@ptr727 ptr727 merged commit 03209a7 into develop Jul 3, 2026
11 checks passed
@ptr727 ptr727 deleted the docs/consistency-mirror-clarifier branch July 3, 2026 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants