Merge pull request #1051 from DilumAluthge/dpa/docs-devbranch

`docs/make.jl`: set `devbranch` to `master`, which means that the docs will be deployed for pushes to `master
JuliaAI · Sep 6, 2023 · 10fec2c · 10fec2c
2 parents 3e76fb3 + fb654e4
commit 10fec2c
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,
 )