ci: push tag

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

.github/workflows/build-release.yaml

@@ -7,7 +7,7 @@ on:
       - main
     paths:
       - '**.md'
-      - '.gitea/workflows/**'
+      - '.github/workflows/**'
       - 'md-pdf.ron'
 
 jobs:
@@ -61,10 +61,19 @@ 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
-        uses: softprops/action-gh-release@v2
+        uses: softprops/action-gh-release@v1
         if: ${{ steps.version.outputs.tag != '' }} # Safety check
         with:
           tag_name: ${{ steps.version.outputs.tag }}

README.md

@@ -1,14 +1,11 @@
 ---
 title: "PIS"
 subtitle: "Policy for Internal Security"
-#logo: "path/to/logo.png"
 author: "Rémi Heredero "
 language: "en"
 tags: ["gpg", "ssh", "x509", "YubiKey", "security"]
 toc: false
 template: "simple"
-#date: "2026-01-23"
-#version: "0.0.1"
 ---
 
 # Policy for Internal Security