Merge branch 'main' into fix-errors

Author: curquiza

.github/workflows/post-deployment.yml

@@ -0,0 +1,48 @@
+# Actions done after Mintlify deployment following a push done on `main`.
+# This will trigger new commits on `main`, so a new deployment of Mintlify.
+name: Post Deployment
+
+on:
+  workflow_dispatch:
+  # schedule:
+  #   - cron: '0 23 * * *' # Every day at 11:00 PM UTC
+  # push:
+  #   branches:
+  #     - 'main'
+
+jobs:
+  update-samples:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v6
+        with:
+          token: ${{ secrets.GH_TOKEN }}
+
+      - name: Setup Node.js
+        uses: actions/setup-node@v6
+
+      - name: Install dependencies
+        run: npm install
+
+      - name: Run pull-code-samples script to fetch new code samples
+        run: node scripts/pull-code-samples.mjs
+
+      - name: Check for changes
+        id: changes
+        run: |
+          echo "has_changes=$(git diff --quiet snippets/ && echo "false" || echo "true")" >> "$GITHUB_ENV"
+
+      - name: Commit changes
+        run: |
+          if [[ $has_changes == "true" ]]; then
+            echo "There are changes in the Git working directory."
+            git config user.name "meili-bot"
+            git config user.email "meili-bot@users.noreply.github.com"
+            git add snippets/
+            git commit -m "Update code samples"
+            git push origin main
+          else
+            echo "No changes in the Git working directory."
+          fi