git push --tags fails when a tag already exists on Codeberg (e.g. v0.15.0 from a prior sync or retag). GitHub is the source of truth for this read-only mirror, so force-push tags to keep them aligned. Co-authored-by: Cursor Agent <cursoragent@cursor.com> Co-authored-by: Jatin K Malik <jatinkrmalik@users.noreply.github.com>