From ab1881610c98b63ef475b06df280d22dfdc8bed4 Mon Sep 17 00:00:00 2001
From: "Anthony D. Blaom" <anthony.blaom@gmail.com>
Date: Fri, 9 Oct 2026 12:08:24 +1100
Subject: [PATCH] turn on push_preview

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

diff --git a/docs/make.jl b/docs/make.jl
index ded8ad7..e0905fb 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -61,6 +61,6 @@ makedocs(
 
 deploydocs(
     devbranch="dev", # deployment to gh-pages only happens when this is the target
-    push_preview=false,
+    push_preview=true,
     repo="github.com/JuliaAI/$REPO_NAME.git",
 )