fix deploy doc

control-toolbox · Jul 12, 2024 · 6a9a37a · 6a9a37a
1 parent 67fae04
commit 6a9a37a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -19,6 +19,6 @@ makedocs(
 )
 
 deploydocs(
-    repo = "github.com/control-toolbox/MRI.jl.git",
+    repo = "github.com/control-toolbox/mri.git",
     devbranch = "main"
 )