build: give up on getting generated files into repo

Author: briantoby

.github/workflows/builddocsite.yml

@@ -63,14 +63,14 @@ jobs:
           cd scripts
           python makeGitTutorial.py ..
 
-      - name: Note changed files
-        run: |
-            git add tutorials.html
-            git add */data/index.html
-            git status
-            git commit -m"changes from automated build of tutorials"
-      - name: Push changes
-        uses: ad-m/github-push-action@master
+#      - name: Note changed files
+#        run: |
+#            git add tutorials.html
+#            git add */data/index.html
+#            git status
+#            git commit -m"changes from automated build of tutorials"
+#      - name: Push changes
+#        uses: ad-m/github-push-action@master
 
       - name: Sphinx build
         run: |