From cfc2b8f601842fa7d4961f163adac9ceda135f3b Mon Sep 17 00:00:00 2001
From: purple_emily <purple_emily@protonmail.com>
Date: Sun, 10 Mar 2024 11:40:57 +0000
Subject: [PATCH] Ew, we are still using `master` as the main branch...

---
 .github/workflows/build-docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml
index 3d12632..c0c8f68 100644
--- a/.github/workflows/build-docs.yaml
+++ b/.github/workflows/build-docs.yaml
@@ -2,7 +2,7 @@ name: Build documentation
 
 on:
   push:
-    branches: ["main"]
+    branches: ["master"]
   # Specify to run a workflow manually from the Actions tab on GitHub
   workflow_dispatch: