Skip to content

chore(release): release 5 plugins - #8601

Merged
melodic-plugin-release[bot] merged 1 commit into
mainfrom
release/plugins
Oct 20, 2026
Merged

melodic-plugin-release[bot] merged 1 commit into
mainfrom
release/plugins

Conversation

@melodic-plugin-release

Copy link
Copy Markdown
Contributor

Releases 5 plugins from the changelog fragments on main at 64720ca, per ADR 0048.

Plugin Old New Bump Fragments consumed
ai-slop 0.14.3 0.14.4 patch .changes/ai-slop/fix-lane-shell-scope-01b22795.md
context7 0.8.0 0.8.1 patch .changes/context7/fix-context7-lookup-drift-890c7864.md
planning 0.78.1 0.79.0 minor .changes/planning/feat-shared-surfaces-actions-5c2e8a71.md
pr-pipeline 2.19.1 2.19.2 patch .changes/pr-pipeline/fix-lane-shell-scope-26dcd147.md
skill-quality 0.30.1 0.31.0 minor .changes/skill-quality/feat-skill-quality-upstream-sha-pairing-236b3cc1.md

The release-publish-plugins workflow queues this pull request itself once ci-status is green (every 3 hours, on a fragment push, or by hand with action merge). Never use the merge button: the workflow checks it against main's live tip first.

@github-actions

Copy link
Copy Markdown
Contributor

PR body contract — issue linkage

This PR body does not yet satisfy the issue-linkage contract:

  • Missing a "## Summary" section. Describe what this PR changes and why, in a sentence or two.
  • Missing a "## Fix" section. State the concrete change and how it addresses the problem.
  • Missing a "## Verification" section. Record concrete evidence the change works (commands, gates, output).
  • Missing a "## Related" section. List related PRs, ADRs, or decision-log entries this PR does not close.
  • Missing a native closing keyword (Closes/Fixes/Resolves #N). If this PR references an issue it must not close, put "Refs: #N" (or "Relates to: #N") on its own line. If it relates to no GitHub issue at all, state "No linked issue" (or "No related issue:") in the body instead.

Edit the body and this comment updates itself on the next run.

@melodic-plugin-release
melodic-plugin-release Bot added this pull request to the merge queue Oct 20, 2026
Merged via the queue into main with commit 9512cba Oct 20, 2026
31 checks passed
@melodic-plugin-release
melodic-plugin-release Bot deleted the release/plugins branch October 20, 2026 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants