From a136a10dc7b7ee1ffeff61aa8d40c4e9ddc7649e Mon Sep 17 00:00:00 2001
From: Kenny Lajara <kennylajara@gmail.com>
Date: Tue, 25 Jun 2024 13:23:21 -0400
Subject: [PATCH] ci: Change branch to served

As there seem to be problems while using the main branch, we have changed to a new branch named `served`.
---
 .github/workflows/host_docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/host_docs.yaml b/.github/workflows/host_docs.yaml
index 31ca685..101944a 100644
--- a/.github/workflows/host_docs.yaml
+++ b/.github/workflows/host_docs.yaml
@@ -54,6 +54,6 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           repository: wml-docs
-          branch: main
+          branch: served
           force: true
           directory: ./docs/build/html