Skip to content

fix(release): push to main on microcks.io - #335

Open
yada wants to merge 1 commit into
mainfrom
fix/post-release-main
Open

yada wants to merge 1 commit into
mainfrom
fix/post-release-main

Conversation

@yada

@yada yada commented Nov 5, 2026

Copy link
Copy Markdown
Member

Fixes #334. git push origin master -> main, matching the new microcks.io repo.

Fixes #334

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Yacine Kheddache <yacine@microcks.io>

This branch had an error being deployed

1 failed deployment
Build — bdf1ea4d Deployed Nov 5, 2026 by yada via build-verify-package #524
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

post-release.sh: push to main on microcks.io

1 participant