Merge branch 'master' into fix/noid/screenshots-shadow

Author: skjnldsv

.github/CODEOWNERS

@@ -8,3 +8,7 @@
 /developer_manual/digging_deeper/groupware/calendar.rst     @SebastianKrupinski @st3iny @tcitworld
 /developer_manual/digging_deeper/talk.rst                   @nickvergessen
 /user_manual/talk/                                          @Antreesy @DorraJaouad @nickvergessen
+
+# Auto build actions
+.github/workflows/sphinxbuild.yml                          @skjnldsv
+.github/workflows/generate-top-index.yml                   @skjnldsv

.github/dependabot.yml

@@ -6,10 +6,14 @@ updates:
       interval: weekly
       time: "06:00"
     open-pull-requests-limit: 10
+    cooldown:
+      default-days: 10
   - package-ecosystem: "pip"
     directory: "/"
     schedule:
       interval: "weekly"
       time: "06:00"
     target-branch: master
     open-pull-requests-limit: 10
+    cooldown:
+      default-days: 10

.github/release-notes-instructions.md

@@ -0,0 +1,32 @@
+# Release Notes Instructions
+
+When generating release notes for a new release, use the following prompt with GitHub Copilot (or another AI assistant), substituting the changelog and version number as appropriate.
+
+---
+
+## Prompt
+
+Generate release notes for **[version]** of the `nextcloud/documentation` repository based on the following changelog.
+
+For each PR in the changelog, look up the original (non-backport) PR to identify the true author. Organize the release notes into sections by which manual the PR touches: **Admin Manual**, **Developer Manual**, and **User Manual**. If a PR touches multiple manuals, include it in each relevant section with a summary appropriately tuned to that manual's audience. Eliminate any section for which there are no PRs.
+
+For each entry, write a concise human-readable summary (not just the PR title), and attribute it with `by @author in #number`.
+
+At the end, include a **New Contributors** section calling out any authors whose `author_association` on the original PR is `CONTRIBUTOR` (rather than `MEMBER`) — these are first-time or external contributors.
+
+All PRs are backported via `@backportbot` — include a note at the bottom acknowledging this and clarifying that original authors are credited throughout.
+
+**Changelog:**
+
+[paste changelog here]
+
+---
+
+## Notes
+
+- The changelog can be found on the [releases page](https://github.com/nextcloud/documentation/releases) or generated via GitHub's "Generate release notes" button as a starting point.
+- The key instructions that drive the correct output are:
+  1. **Look up original PRs** to get the real author, not `backportbot`
+  2. **Organize by manual**, not by type of change
+  3. **Cross-manual PRs appear in each relevant section** with tuned summaries
+  4. **`CONTRIBUTOR` association = new/external contributor** worth calling out

.github/workflows/check-occ-command.yml

@@ -11,7 +11,7 @@ permissions:
 jobs:
   check-occ-command:
     name: Check occ command syntax
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-latest-low
     steps:
       - name: Checkout
         uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

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

@@ -0,0 +1,75 @@
+name: "Build documentation index"
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+
+permissions:
+  contents: write
+
+jobs:
+  build-and-deploy:
+    name: Build index.html
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Cache git metadata
+      uses: actions/cache@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4
+      with:
+        path: .git
+        key: git-metadata-${{ github.sha }}
+        restore-keys: |
+          git-metadata-${{ github.sha }}
+          git-metadata
+
+    - name: Checkout Github Pages branch
+      uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
+      with:
+        fetch-depth: 0
+        token: ${{ github.event_name == 'push' && secrets.COMMAND_BOT_PAT || github.token }}
+
+    - name: Get stable branches
+      id: branch
+      run: |
+        branches=$(git ls-remote --heads origin "heads/stable[0-9][0-9]" | awk '{gsub(/^refs\/heads\/stable/, "", $2); print $2}' | sort -n -r | tr '\n' ' ')
+        echo "branches=$branches" >> $GITHUB_OUTPUT
+
+    - name: Setup php
+      uses: shivammathur/setup-php@accd6127cb78bee3e8082180cb391013d204ef9f # v2.37.0
+
+    - name: Generate index.html
+      run: |
+        php build/build-index.php ${{ steps.branch.outputs.branches }}
+        mv build/index.html /tmp/index.html
+        mv build/static/ /tmp/static/
+
+    - name: Verify index.html structure and links
+      run: |
+        # Temporarily put index.html in build folder for verification
+        cp /tmp/index.html build/index.html
+        php build/verify-index.php
+
+    - name: Switch to gh-pages branch
+      if: github.event_name == 'push'
+      run: |
+        git fetch origin gh-pages
+        git checkout gh-pages
+        git config --local user.email "nextcloud-command@users.noreply.github.com"
+        git config --local user.name "nextcloud-command"
+    
+    - name: Commit and push changes
+      if: github.event_name == 'push'
+      run: |
+        # Move the generated index.html and static files to the root of the gh-pages branch
+        rm -rf index.html static/
+        mv /tmp/index.html index.html
+        mv /tmp/static/ static/
+        git add index.html static/
+        git commit -m "chore: update index.html for documentation" || echo "No changes to commit"
+        git push origin gh-pages || echo "Nothing to push (expected if no changes)"
+      env:
+        GH_TOKEN: ${{ secrets.COMMAND_BOT_PAT }}