chore(ci): add auto stable titles

Signed-off-by: skjnldsv <skjnldsv@protonmail.com>

Author: skjnldsv

.github/workflows/generate-top-index.yml

@@ -62,6 +62,7 @@ jobs:
         git config --local user.name "nextcloud-command"
     
     - name: Create Pull Request for documentation index deployment
+      if: github.event_name == 'push'
       uses: peter-evans/create-pull-request@c0f553fe549906ede9cf27b5156039d195d2ece0 # v8.1.0
       id: cpr
       with:
@@ -78,6 +79,7 @@ jobs:
         labels: 'automated, 3. to review'
 
     - name: Enable Pull Request Automerge
+      if: github.event_name == 'push'
       run: gh pr merge --merge --auto "${{ steps.cpr.outputs.pull-request-number }}"
       env:
         GH_TOKEN: ${{ secrets.COMMAND_BOT_PAT }}

.github/workflows/sphinxbuild.yml

@@ -103,8 +103,6 @@ jobs:
       run: pip install -r requirements.txt
 
     - name: Build html documentation
-      env:
-        SPHINXOPTS: "-W --keep-going"
       run: cd ${{ matrix.manual.directory }} && make ${{ matrix.manual.make_target }}
 
     - name: Compute release version
@@ -185,58 +183,74 @@ jobs:
       run: |
         current_branch="${GITHUB_REF#refs/heads/}"
 
+        # Find the highest numbered stable branch from the remote
         highest_stable=$(git ls-remote --heads origin | sed -n 's?.*refs/heads/stable\([0-9]\{2\}\)$?\1?p' | sort -n | tail -1)
         highest_stable_branch="stable${highest_stable}"
 
         echo "Current branch: $current_branch"
         echo "Highest stable branch found: $highest_stable_branch"
 
+        # Map actual branch names to deployment folder names
         case "$current_branch" in
           "master")
             echo "branch_name=latest" >> $GITHUB_OUTPUT
             ;;
           "$highest_stable_branch")
             echo "branch_name=stable" >> $GITHUB_OUTPUT
+            # Also record the numeric version so we can publish to server/<number>/ too
             echo "version_name=${highest_stable}" >> $GITHUB_OUTPUT
             ;;
           *)
+            # Remove stable prefix for current branch
             current_branch="${current_branch#stable}"
             echo "branch_name=$current_branch" >> $GITHUB_OUTPUT
             ;;
         esac
 
-    - name: Merge artifacts into gh-pages layout
+        echo "Deployment folder name: ${{ steps.branch.outputs.branch_name }}"
+        echo "Version name for additional deployment (if applicable): ${{ steps.branch.outputs.version_name }}"
+
+    - name: Merge ${{ steps.branch.outputs.branch_name }} documentation artifacts into gh-pages
       run: |
+        # List artifacts
         ls -la artifacts/*/
 
+        # Cleanup old documentation
+        rm -rf ${{ steps.branch.outputs.branch_name }}
         rm -rf server/${{ steps.branch.outputs.branch_name }}
         mkdir -p server/${{ steps.branch.outputs.branch_name }}
 
+        # Copy all built documentation into dedicated subdirectories
         for artifact in artifacts/*; do
           if [ -d "$artifact" ]; then
             manual_name="$(basename "$artifact")"
-            mkdir -p "server/${{ steps.branch.outputs.branch_name }}/$manual_name"
-            cp -r "$artifact/"* "server/${{ steps.branch.outputs.branch_name }}/$manual_name/"
           fi
         done
 
+        # Move pdf files to the root of the branch_name
         mv server/${{ steps.branch.outputs.branch_name }}/*/*.pdf server/${{ steps.branch.outputs.branch_name }}/ || true
 
+        # If this is the highest stable branch, also deploy to its versioned folder
         if [ -n "${{ steps.branch.outputs.version_name }}" ]; then
+          rm -rf server/${{ steps.branch.outputs.version_name }}
           cp -r server/${{ steps.branch.outputs.branch_name }} server/${{ steps.branch.outputs.version_name }}
         fi
 
+        # Cleanup
         find . -type d -empty -delete
         rm -rf artifacts
 
     - name: Add various redirects for go.php and user_manual english version
       run: |
+        # Fetch source branches so git checkout origin/... works from the gh-pages checkout
         git fetch origin ${{ github.event.repository.default_branch }} ${{ github.ref_name }}
 
+        # Generate go.php redirect from main branch
         git checkout origin/${{ github.event.repository.default_branch }} -- go.php/index.html
         mkdir -p server/${{ steps.branch.outputs.branch_name }}/go.php
         mv go.php/index.html server/${{ steps.branch.outputs.branch_name }}/go.php/index.html
 
+        # Generate user_manual english redirect
         git checkout origin/${{ github.ref_name }} -- user_manual/index.html
         mkdir -p server/${{ steps.branch.outputs.branch_name }}/user_manual
         mv user_manual/index.html server/${{ steps.branch.outputs.branch_name }}/user_manual/index.html

.github/workflows/update-stable-titles.yml

@@ -0,0 +1,71 @@
+# SPDX-FileCopyrightText: 2025 Nextcloud GmbH and Nextcloud contributors
+# SPDX-License-Identifier: MIT
+name: Update PRs titles on stable branches
+
+on:
+  pull_request:
+    types: [opened, edited]
+    branches:
+      - "stable*"
+
+concurrency:
+  group: stable-pr-title-${{ github.event.pull_request.number }}
+  cancel-in-progress: true
+
+jobs:
+  update-pr-title:
+    runs-on: ubuntu-latest-low
+    permissions:
+      pull-requests: write
+      contents: read
+
+    steps:
+      - name: Wait for potential title edits
+        run: sleep 15
+
+      - name: Get PR details and update title
+        # Renovate already have target branch in the title
+        if: github.event.pull_request.user.login != 'renovate[bot]'
+        uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const { data: pr } = await github.rest.pulls.get({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              pull_number: context.issue.number,
+            });
+
+            const baseBranch = pr.base.ref;
+            const currentTitle = pr.title;
+
+            // Check if this is a stable branch
+            // Should not happen as we only trigger on stable* branches 🤷‍♀️
+            if (!baseBranch.startsWith('stable')) {
+              console.log(`Not a stable branch: ${baseBranch}`);
+              return;
+            }
+
+            const prefix = `[${baseBranch}]`;
+
+            // Check if title already has the correct prefix and no other stable tags
+            const correctTagRegex = new RegExp(`^\\[${baseBranch}\\]\\s*`);
+            const hasOtherStableTags = /\[stable[\d.]*\]/.test(currentTitle.replace(correctTagRegex, ''));
+
+            if (correctTagRegex.test(currentTitle) && !hasOtherStableTags) {
+              console.log(`Title already has correct prefix only: ${currentTitle}`);
+              return;
+            }
+
+            // Remove all stable tags and add the correct one
+            const cleanTitle = currentTitle.replace(/\[stable[\d.]*\]\s*/g, '').trim();
+            const newTitle = `${prefix} ${cleanTitle}`;
+
+            console.log(`Updating title from: "${currentTitle}" to: "${newTitle}"`);
+
+            await github.rest.pulls.update({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              pull_number: context.issue.number,
+              title: newTitle,
+            });