fix: Add conversion from repo to string

VaclavMacha · VaclavMacha · commit 13ff78d54cf4 · 2025-09-24T11:31:43.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -74,7 +74,7 @@ makedocs(;
 )
 
 DocumenterVitepress.deploydocs(;
-    repo=repo,
+    repo=Remotes.repourl(repo),
     target=joinpath(@__DIR__, "build"),
     devbranch="2025W",
     branch="gh-pages",

Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,7 @@ makedocs(;`
`74`	`74`	`)`
`75`	`75`
`76`	`76`	`DocumenterVitepress.deploydocs(;`
`77`		`- repo=repo,`
	`77`	`+ repo=Remotes.repourl(repo),`
`78`	`78`	`target=joinpath(@__DIR__, "build"),`
`79`	`79`	`devbranch="2025W",`
`80`	`80`	`branch="gh-pages",`