attempt 2

Author: wwwillchen

.github/workflows/ci.yml

@@ -108,6 +108,9 @@ jobs:
           restore-keys: |
             docs-bot-
       - run: pip install -r ai/docbot/requirements.txt
+      - run: |
+          git config user.name github-actions[bot]
+          git config user.email github-actions[bot]@users.noreply.github.com
       - name: Deploy to HuggingFace
         env:
           GEMINI_API_KEY: ${{ secrets.GEMINI_API_KEY }}

ai/docbot/deploy_to_hf.sh

@@ -22,6 +22,9 @@ if [ ! -d "$DEST_PATH" ]; then
     mkdir -p "$DEST_PATH"
 fi
 
+# Build the docs index
+python ai/docbot/docs_index.py --build-index
+
 # Get the path of this script which is the demo dir.
 DEMO_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"