From 4087cdb749e7f1f5b9736ead2a7615b5cd1d2cf8 Mon Sep 17 00:00:00 2001
From: Mateusz Baran <mateuszbaran89@gmail.com>
Date: Mon, 23 Sep 2024 21:13:13 +0200
Subject: [PATCH] devbranch for deployment

---
 docs/make.jl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index e3bf450..ee038a8 100755
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -94,4 +94,8 @@ makedocs(;
     ],
     plugins=[bib],
 )
-deploydocs(; repo="github.com/JuliaManifolds/ManifoldExamples.jl", push_preview=true)
+deploydocs(;
+    repo="github.com/JuliaManifolds/ManifoldExamples.jl",
+    push_preview=true,
+    devbranch="main",
+)