fix: use git push instead of GitHub API for tag creation #11

Merged
jcabillot merged 1 commits from fix/git-tag-push into main 2026-06-12 12:48:41 -04:00

1 Commits

Author SHA1 Message Date
cloudix_mcp_server f1d828bfe3 fix: use git push instead of GitHub API for tag creation
Docker Build and Push / build (pull_request) Successful in 3m1s
GIT_API_TAGGING defaults to true, which tries to create tags via the
GitHub REST API (api.github.com). On self-hosted Gitea, this fails.
Setting it to false uses git push origin <tag> instead, which works
with the credentials configured by actions/checkout.
2026-06-12 12:47:40 -04:00