chore: add bot token

zama-ai · Apr 3, 2024 · 8f6048a · 8f6048a
1 parent 762bfbb
commit 8f6048a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sync_on_push.yaml b/.github/workflows/sync_on_push.yaml
@@ -35,6 +35,6 @@ jobs:
       - name: Sync private repository
         uses: ad-m/github-push-action@master
         with:
-          github_token: ${{ secrets.CONCRETE_ACTIONS_TOKEN }}
+          github_token: ${{ secrets.BOT_TOKEN }}
           repository: ${{ secrets.SYNC_DEST_REPO }}
           force: true