Set devbranch to main in docs

darnstrom · darnstrom · commit dff9e399c715 · 2026-01-19T21:21:00.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -27,4 +27,4 @@ makedocs(sitename = "LinearMPC.jl",
                 "Functions" => "functions.md"
                ])
 
-deploydocs(;repo="github.com/darnstrom/LinearMPC.jl",)
+deploydocs(repo="github.com/darnstrom/LinearMPC.jl", devbranch="main", push_preview=true)
