Rename g3doc->docs; fix bad links; add bazel-* to .gitignore;

update python; run on push to master

Author: peytondmurray

.github/workflows/cd-docs.yml

@@ -2,9 +2,8 @@ name: deploy-docs
 on:
   workflow_dispatch:
   push:
-    # Uncomment these lines before merge
-    # branches:
-    #   - master
+    branches:
+      - master
   pull_request:
 permissions:
   contents: write
@@ -15,16 +14,10 @@ jobs:
       - name: Checkout repo
         uses: actions/checkout@v4
 
-      - name: Configure Git Credentials
-        run: |
-          git config user.name github-actions[bot]
-          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
-        if: (github.event_name != 'pull_request')
-
-      - name: Set up Python 3.10
+      - name: Set up Python 3.12
         uses: actions/setup-python@v5
         with:
-          python-version: '3.10'
+          python-version: '3.12'
           cache: 'pip'
           cache-dependency-path: |
             setup.py
@@ -44,8 +37,11 @@ jobs:
         run: pip install -r requirements-docs.txt
 
       - name: Deploy to GitHub Pages
-        run: mkdocs gh-deploy --force
         if: (github.event_name != 'pull_request')
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
+          mkdocs gh-deploy --force
 
       - name: Build docs to check for errors
         run: mkdocs build --verbose

.gitignore

@@ -159,4 +159,7 @@ cython_debug/
 #  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
 #  and can be added to the global gitignore or merged into this file.  For a more nuclear
 #  option (not recommended) you can uncomment the following to ignore the entire idea folder.
-#.idea/
+#.idea/
+
+# Bazel build files
+bazel-*