CI: maybe tags will be pushed now??

MotorTruck1221 · MotorTruck1221 · commit b5789453e302 · 2025-02-22T00:21:17.000-07:00
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -42,3 +42,8 @@ jobs:
           title: "[ci] release"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Push tags if created.
+        run: git push --follow-tags
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
