Skip to content

chore(release): 1.1.1-unstable.20260828045845 - #942

Closed
github-actions[bot] wants to merge 1 commit into
developmentfrom
release/v1.1.1-unstable.20260828045845
Closed

chore(release): 1.1.1-unstable.20260828045845#942
github-actions[bot] wants to merge 1 commit into
developmentfrom
release/v1.1.1-unstable.20260828045845

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Version bump for 1.1.1-unstable.20260828045845, opened by the release workflow.

The tag v1.1.1-unstable.20260828045845 already names this commit, so the released
package and its label agree. Merging this brings development up
to the released version.

Raised as a pull request rather than pushed directly because
development requires one; a direct push is rejected with GH013
and takes the release down with it.

@rubenvdlinde

Copy link
Copy Markdown
Contributor

Closing as superseded — same reason as the 49 closed earlier today.

The org-level Development Branch Protection ruleset requires 1 approving review on development, and nothing reviews a bot PR, so this can never merge: auto-merge stays armed with every check green and the PR sits open forever. The version it carries is already published under its tag.

The durable fix (adding the release bot as a ruleset bypass actor) needs the admin:org scope, which is not yet granted. A workflow-side mitigation is being added so the release job closes its own superseded PR instead of stacking a new one each run.

auto-merge was automatically disabled August 28, 2026 05:03

Pull request was closed

@rubenvdlinde
rubenvdlinde deleted the release/v1.1.1-unstable.20260828045845 branch August 28, 2026 05:03
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.

1 participant