modified docs deploy target

0815Creeper · Sep 17, 2024 · c19e57a · c19e57a
1 parent 1ffd5d5
commit c19e57a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -107,7 +107,7 @@ for w in warns
 end
 
 deploydocs(
-    repo = "github.com/ThummeTo/FMI.jl.git",
+    repo = string("github.com/", get(ENV, "GITHUB_REPOSITORY", ""), "git"),
     devbranch = "main",
     deploy_config = deployConfig(),
 )