Skip to content

chore: release - merge dev into main#405

Merged
zbigniewsobiecki merged 3 commits intomainfrom
dev
Feb 18, 2026
Merged

chore: release - merge dev into main#405
zbigniewsobiecki merged 3 commits intomainfrom
dev

Conversation

@zbigniewsobiecki
Copy link
Copy Markdown
Member

Automated release PR — merges dev into main.

Includes the updated release workflow itself, which switches from direct push to PR-based merge with auto-merge.

🤖 Generated with Claude Code

Cascade Bot and others added 3 commits February 18, 2026 16:11
…er-to-header

feat(dashboard): move org switcher from sidebar to header
…404)

The "Protect main" ruleset requires all changes to go through a pull
request, which caused the release workflow to fail with GH013 when
pushing directly. GitHub Actions cannot be added as a bypass actor on
personal repositories.

Switch to creating a PR from dev→main with auto-merge enabled. The PR
goes through the normal required checks (lint-and-test, enforce-dev-to-main)
and merges automatically once they pass.

Changes:
- Add pull-requests: write permission
- Replace direct git push with gh pr create + gh pr merge --auto
- Add guard against duplicate open release PRs
- Remove git config step (no longer pushing directly)

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
@zbigniewsobiecki zbigniewsobiecki merged commit f9cecef into main Feb 18, 2026
8 checks passed
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