ci(docs): remove unnecessary repo keyword argument to deploydocs

`Documenter` should be able to figure out the `origin` of the Git repository from the checked out source. This keyword argument should not be necessary.
bauglir · Mar 13, 2024 · 3fe1316 · 3fe1316
1 parent 266278f
commit 3fe1316
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -15,6 +15,5 @@ if running_in_ci
     devbranch = "development",
     devurl = "latest",
     push_preview = true,
-    repo = "github.com/bauglir/Kroki.jl.git",
   )
 end