From master to main

Author: ratulb

.github/workflows/deploy-pages.yaml

@@ -2,7 +2,7 @@ name: Run mdbook and deply to github pages
 on:
   # Runs on pushes targeting the default branch
   push:
-    branches: ["master"]
+    branches: ["main"]
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: