Deploy docs only on main branch #1

Author: giovanni-voismart

.github/workflows/pages.yml

@@ -4,7 +4,7 @@ name: Deploy docs to GitHub pages.
 on:
   # Runs on pushes targeting the default branch
   push:
-  #  branches: ["main"]
+    branches: ["main"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: