From fb654e456ee8a8322280d317ceefab6befb59d53 Mon Sep 17 00:00:00 2001
From: Dilum Aluthge <dilum@aluthge.com>
Date: Wed, 6 Sep 2023 17:21:57 -0400
Subject: [PATCH] `docs/make.jl`: set `devbranch` to `master`, which means that
 the docs will be deployed for pushes to `master

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index c6413884b..f646377a5 100755
--- 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,
 )