ci: push tag

Co-authored-by: Gemini <gemini@google.com>

.github/workflows/build-release.yaml

@@ -61,6 +61,15 @@ jobs:
           echo "tag=$NEW_TAG" >> $GITHUB_OUTPUT
           echo "Next version : $NEW_TAG"
 
+      - name: Push Tag
+        run: |
+          git config user.name "Gitea Actions"
+          git config user.email "actions@gitea.local"
+          git tag ${{ steps.version.outputs.tag }}
+          git push origin ${{ steps.version.outputs.tag }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       # Create release and upload PDF
       # Note: softprops works very well on recent Gitea
       - name: Create Release