From 498afe9a66a3e1a801e1dd1f5eb85b4484d3c27c Mon Sep 17 00:00:00 2001
From: Mirko Bunse <mirko.bunse@cs.tu-dortmund.de>
Date: Mon, 12 Dec 2022 10:36:54 +0100
Subject: [PATCH] Ammendment to the last commit: Try to fix documentation on
 GitHub pages

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

diff --git a/docs/make.jl b/docs/make.jl
index db42941..c15598b 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -14,4 +14,5 @@ makedocs(;
 
 deploydocs(
     repo = "github.com/mirkobunse/CriticalDifferenceDiagrams.jl.git",
+    devbranch = "main"
 )