Fix workflow after branch rename (#3)

celinval · makai410 · commit 5dbac6cb7efb · 2025-08-21T07:48:13.000Z
The deployment github action was still triggered by changes to the old
default branch. Update it to use main instead.
diff --git a/.github/workflows/deploy_mdbook.yml b/.github/workflows/deploy_mdbook.yml
@@ -1,7 +1,7 @@
 on:
   push:
     branches:
-      - master
+      - main
 
 jobs:
   ci:

-Original file line number
+Diff line change
@@ @@ -1,7 +1,7 @@ @@
 on:
   push:
     branches:
 -      - master
 +      - main
 jobs:
   ci: