Skip to content

Develop#51

Merged
DannyNs merged 2 commits into
mainfrom
develop
Jun 18, 2026
Merged

Develop#51
DannyNs merged 2 commits into
mainfrom
develop

Conversation

@DannyNs

@DannyNs DannyNs commented Jun 18, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

Daniel Kutyła and others added 2 commits June 18, 2026 13:17
…d main

git push origin main failed because main requires a pull request. The
release job now commits the version bump to a release/vX branch, pushes
the branch and tag, opens a PR to main, and enables auto-merge (squash,
delete branch) so it lands once required checks/approvals pass.

Adds pull-requests: write and uses GH_TOKEN for the gh CLI.
ci(publish): merge release bump via PR instead of pushing to protecte…
@DannyNs DannyNs merged commit bdcdc36 into main Jun 18, 2026
1 check 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