Skip to content

chore(release): release 5 plugins - #13089

Merged
melodic-plugin-release[bot] merged 1 commit into
mainfrom
release/plugins
Nov 4, 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 4f01b79, per ADR 0048.

Plugin Old New Bump Fragments consumed
education 0.23.3 1.0.0 major .changes/education/work-resolve-issue-issue-12682-41757549446-1-36e2fc4d.md
overengineering 0.9.5 0.10.0 minor .changes/overengineering/work-resolve-issue-issue-12679-41759063069-1-25e994c2.md
pr-pipeline 8.49.2 8.50.0 minor .changes/pr-pipeline/ci-12232-pr-verify-capture-5c1e0a47.md
ruff-format 1.0.2 1.0.3 patch .changes/ruff-format/test-8635-ruff-format-7c3e9d52.md
source-control 7.0.1 7.0.2 patch .changes/source-control/ci-12232-pr-verify-capture-hold-floor-3f2a91c0.md
.changes/source-control/perf-count-unread-api-calls-416fc3f0.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.

@melodic-plugin-release
melodic-plugin-release Bot added this pull request to the merge queue Nov 4, 2026
Any commits made after this event will not be merged.
@melodic-automation-lanes

Copy link
Copy Markdown
Contributor

Unattended merge: risk MED at head 1afa140a9111b8f3dd819624e3edc6c3b7779b39. Only LOW, or MED on class, size and reported review-finding reasons alone, merges without a human. The lanes clear its holding reasons (a size reason holds nothing); pr-merge judges it again each run.

MED evidence-unbound:claude-review: not bound: no-lane-job
MED evidence-unbound:claude-security-review: not bound: no-lane-job

Merged via the queue into main with commit ddb4842 Nov 4, 2026
41 checks passed
@melodic-plugin-release
melodic-plugin-release Bot deleted the release/plugins branch November 4, 2026 05:24
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.

0 participants