Skip to content

Include Post-merge in the file-pr registry entries - #47

Closed
stephenfinch wants to merge 1 commit into
mainfrom
fix-file-pr-headings
Closed

Include Post-merge in the file-pr registry entries#47
stephenfinch wants to merge 1 commit into
mainfrom
fix-file-pr-headings

Conversation

@stephenfinch

Copy link
Copy Markdown
Member

Why

#45 described file-pr as enforcing three headings. #44 added a fourth, Post-merge, and the two merged close enough together that the registry entries went in already stale. Both now list all four.

What Changed

  • Add Post-merge to the file-pr entry in the README and AGENTS.md

Screenshots

N/A — no UI changes

#44 added a fourth heading after this branch was cut.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Copilot AI lite review requested due to automatic review settings August 14, 2026 14:46
@stephenfinch stephenfinch self-assigned this Aug 14, 2026

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 skill registry documentation so file-pr’s entry reflects the recently-added optional Post-merge section, keeping the repo’s “front door” docs accurate and consistent with the skill’s current behavior.

Changes:

  • Update the file-pr description in README.md to include the optional Post-merge checklist section.
  • Update the file-pr description in AGENTS.md to include the optional Post-merge unchecked steps list (and preserve heading order semantics).

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
README.md Updates the file-pr registry row to include the optional Post-merge checklist section in the enforced PR format.
AGENTS.md Updates the file-pr registry entry to document the optional Post-merge section and its intended “unchecked steps after merge” usage.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@stephenfinch

Copy link
Copy Markdown
Member Author

Folded into #46 — same skill, and it's a two-line correction that doesn't need its own review.

@stephenfinch
stephenfinch deleted the fix-file-pr-headings branch August 14, 2026 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants