Update docs configuration

Author: devmotion

.github/workflows/DocsPreviewCleanup.yml

@@ -4,9 +4,16 @@ on:
   pull_request:
     types: [closed]
 
+# Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time
+concurrency:
+  group: doc-preview-cleanup
+  cancel-in-progress: false
+
 jobs:
   doc-preview-cleanup:
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
       - name: Checkout gh-pages branch
         uses: actions/checkout@v4

.github/workflows/ci.yml

@@ -55,6 +55,10 @@ jobs:
   docs:
     name: Documentation
     runs-on: ubuntu-latest
+    permissions:
+      contents: write  # Required when authenticating with `GITHUB_TOKEN`, not needed when authenticating with SSH deploy keys
+      pull-requests: read  # Required when using `push_preview=true`
+      statuses: write  # Optional, used to report documentation build statuses
     steps:
       - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v1

docs/make.jl

@@ -16,5 +16,5 @@ makedocs(;
 )
 
 deploydocs(;
-    repo="github.com/JuliaDiff/ReverseDiff.jl", push_preview=true,
+    repo="github.com/JuliaDiff/ReverseDiff.jl.git", push_preview=true,
 )