fix GITHUB_REPOSITORY

JuliaPlots · Oct 24, 2024 · bb14fd5 · bb14fd5
1 parent b51c665
commit bb14fd5
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -819,12 +819,15 @@ function main()
     end
 
     @info "deploydocs"
-    deploydocs(
-        repo = "github.com/JuliaPlots/PlotDocs.jl.git",
-        versions = ["stable" => "v^", "v#.#", "dev" => "dev", "latest" => "dev"],
-        push_preview = true,
-        forcepush = true,
-    )
+    repo = "github.com/JuliaPlots/PlotDocs.jl.git"  # see https://documenter.juliadocs.org/stable/man/hosting/#Out-of-repo-deployment
+    withenv("GITHUB_REPOSITORY" => repo) do
+        deploydocs(;
+            versions = ["stable" => "v^", "v#.#", "dev" => "dev", "latest" => "dev"],
+            push_preview = true,
+            forcepush = true,
+            repo,
+        )
+    end
 end
 
 main()