Update make.jl

FDemelas · Jun 3, 2024 · aeb8cf9 · aeb8cf9
1 parent 068c318
commit aeb8cf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,6 +25,6 @@ makedocs(;
 
 
 deploydocs(;
-    repo = "https://github.com/FDemelas/Instances",
+    repo = "https://github.com/FDemelas/Instances.git",
     devbranch = "master"
 )