Disable deploying to GH pages

Author: Frank

.github/workflows/docs.yml

@@ -2,9 +2,9 @@ name: docs
 
 on:
   # Trigger the workflow every time you push to the `main` branch
-  # Using a different branch name? Replace `main` with your branch’s name
-  push:
-    branches: [master]
+  # Using a different branch name? Replace `main` with your branch's name
+  # push:
+  #   branches: [master]
   # Allows you to run this workflow manually from the Actions tab on GitHub.
   workflow_dispatch: