chore: simplify workflows and unify tool logging and mail presentation

.github/workflows/gitea-tracker.yml

@@ -1,47 +0,0 @@
-name: Gitea Version Tracker
-
-on:
-  schedule:
-    - cron: '0 8 * * *'
-  workflow_dispatch:
-    inputs:
-      version:
-        description: 'Stable Gitea version (e.g. 28.2.0); empty means latest'
-        required: false
-
-jobs:
-  track:
-    name: Track Gitea Release
-    runs-on: linux-amd64-docker-small
-    permissions:
-      contents: write
-      pull-requests: write
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          ref: main
-          token: ${{ secrets.GITEA_TOKEN }}
-
-      - uses: actions/setup-python@v5
-        with:
-          python-version: '3.11'
-
-      - name: Test tracker
-        run: python -B -m unittest discover -s .github/scripts -p 'test_*.py'
-
-      - name: Record pending Gitea release
-        id: version
-        run: python -B .github/scripts/track_gitea_release.py
-        env:
-          GITEA_VERSION: ${{ github.event.inputs.version }}
-          # Optional GitHub token for upstream API rate limits; never use the Gitea job token.
-          GITHUB_TOKEN: ${{ secrets.UPSTREAM_GITHUB_TOKEN }}
-
-      - name: Create Pull Request
-        if: steps.version.outputs.changed == 'true'
-        run: python -B .github/scripts/gitea_actions.py create-pull-request --version "$UPSTREAM_VERSION"
-        env:
-          UPSTREAM_VERSION: ${{ steps.version.outputs.version }}
-          GITEA_SERVER_URL: ${{ github.server_url }}
-          GITEA_REPOSITORY: ${{ github.repository }}
-          GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}

.github/workflows/release.yml

@@ -20,7 +20,7 @@ jobs:
         with:
           python-version: '3.11'
 
-      - name: Test documentation tracker
+      - name: Test workflow scripts
         run: python -B -m unittest discover -s .github/scripts -p 'test_*.py'
 
       - name: Verify pinned official snapshot
@@ -64,11 +64,6 @@ jobs:
       - name: Verify release notes
         run: test -s ".github/release-notes/${GITHUB_REF_NAME}.md"
 
-      - name: Update release labels in the archive
-        run: python -B .github/scripts/track_gitea_release.py --template-release "$TEMPLATE_RELEASE"
-        env:
-          TEMPLATE_RELEASE: ${{ github.ref_name }}
-
       - name: Generate static preview for the archive
         working-directory: tools
         run: go run . preview all
@@ -86,36 +81,26 @@ jobs:
           GITEA_REPOSITORY: ${{ github.repository }}
           GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
 
-  sync-release-docs:
-    name: Update Latest Release Documentation
+  notify-release-docs:
+    name: Remind to Update Release Documentation
     if: startsWith(github.ref, 'refs/tags/v')
     needs: package
+    concurrency:
+      group: release-documentation-${{ github.ref }}
+      cancel-in-progress: false
     runs-on: linux-amd64-docker-small
     permissions:
-      contents: write
+      contents: read
+      issues: write
     steps:
       - uses: actions/checkout@v4
-        with:
-          ref: main
-          token: ${{ secrets.GITEA_TOKEN }}
-
       - uses: actions/setup-python@v5
         with:
           python-version: '3.11'
-
-      - name: Update marked release labels on main
-        run: python -B .github/scripts/track_gitea_release.py --template-release "$TEMPLATE_RELEASE"
-        env:
-          TEMPLATE_RELEASE: ${{ github.ref_name }}
-
-      - name: Commit documentation update
-        run: |
-          git add -- ':(glob)**/*.md'
-          if git diff --cached --quiet; then
-            echo "Release labels are already current."
-            exit 0
-          fi
-          git -c user.name='release-bot' -c user.email='release-bot@users.noreply.local' commit -m "docs: mark ${TEMPLATE_RELEASE} as latest release"
-          git push origin HEAD:main
+      - name: Create documentation reminder Issue
+        run: python -B .github/scripts/gitea_actions.py create-issue --version "$TEMPLATE_RELEASE"
         env:
           TEMPLATE_RELEASE: ${{ github.ref_name }}
+          GITEA_SERVER_URL: ${{ github.server_url }}
+          GITEA_REPOSITORY: ${{ github.repository }}
+          GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}