From 9cec5da56a05cae7be0eb0ff1cd7aa161409ec0b Mon Sep 17 00:00:00 2001
From: Andrea Ciceri <andrea.ciceri@autistici.org>
Date: Mon, 18 Dec 2023 19:38:58 +0100
Subject: [PATCH] fix: rename github-pages branch

---
 ci/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/default.nix b/ci/default.nix
index a4dac81..792f8c7 100644
--- a/ci/default.nix
+++ b/ci/default.nix
@@ -3,7 +3,7 @@
     inputs.hercules-ci-effects.flakeModule
   ];
   config = {
-    hercules-ci.github-pages.branch = "main";
+    hercules-ci.github-pages.branch = "master";
     perSystem = {config, ...}: {
       hercules-ci.github-pages.settings.contents = config.packages.docs;
     };