Skip to content

chore: merge main back into develop - #21

Merged
edgeorgie merged 2 commits into
developfrom
main
Oct 9, 2026
Merged

edgeorgie merged 2 commits into
developfrom
main

Conversation

@edgeorgie

@edgeorgie edgeorgie commented Oct 9, 2026 •

Copy link
Copy Markdown
Owner

Back-merge of main (release workflow hotfix) into develop so the branches do not diverge. Merge with a merge commit.

claude and others added 2 commits October 9, 2026 14:15
Workflow dispatch only works for workflows on the default branch (main), and
tags cannot be pushed from agent sessions. The workflow tags main and
publishes the GitHub release.
ci: add the manual release workflow to main
@vercel

vercel Bot commented Oct 9, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
errorlens Ready Ready Preview Oct 9, 2026 2:19pm UTC

@edgeorgie
edgeorgie merged commit 969449d into develop Oct 9, 2026
4 checks passed

This branch was successfully deployed

1 active deployment
Production — 7a490d24 Deployed Oct 9, 2026 by vercel[bot]
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.

2 participants