docs/make.jl: set devbranch to master, which means that the doc…

…s will be deployed for pushes to `master
JuliaAI · Sep 6, 2023 · fb654e4 · fb654e4
1 parent 3e76fb3
commit fb654e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -121,7 +121,7 @@ makedocs(
 
 deploydocs(
     repo = "github.com/alan-turing-institute/MLJ.jl",
-    devbranch="dev",
+    devbranch="master",
     push_preview=false,
 )