Deleted the master branch. We now use the main branch.

pixel27 · Oct 26, 2022 · 0f3c3c1 · 0f3c3c1
1 parent 04c2c5f
commit 0f3c3c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Documentation.yaml b/.github/workflows/Documentation.yaml
@@ -3,7 +3,7 @@ name: Documentation
 on:
   push:
     branches:
-      - master
+      - main
     tags: '*'
   pull_request: