Fix repository name in deploydocs

tencnivel · tencnivel · commit 1ac1abf95054 · 2021-06-09T17:53:51.000+02:00
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -2,7 +2,7 @@ name: Documentation
 on:
   push:
     branches:
-      - master
+      - main
     tags: '*'
   pull_request:
   workflow_dispatch:
