chore: add back push action

zama-ai · Apr 3, 2024 · 762bfbb · 762bfbb
1 parent 357abbb
commit 762bfbb
Showing 1 changed file with 13 additions and 7 deletions.
diff --git a/.github/workflows/sync_on_push.yaml b/.github/workflows/sync_on_push.yaml
@@ -24,11 +24,17 @@ jobs:
           name: repo-archive
           path: '.'
 
-      - name: git-sync
-        uses: wei/git-sync@55c6b63b4f21607da0e9877ca9b4d11a29fc6d83
-        with:
-          source_repo: "zama-ai/concrete-ml"
-          source_branch: "main"
-          destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
-          destination_branch: "main"
+      # - name: git-sync
+      #   uses: wei/git-sync@55c6b63b4f21607da0e9877ca9b4d11a29fc6d83
+      #   with:
+      #     source_repo: "zama-ai/concrete-ml"
+      #     source_branch: "main"
+      #     destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
+      #     destination_branch: "main"
 
+      - name: Sync private repository
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.CONCRETE_ACTIONS_TOKEN }}
+          repository: ${{ secrets.SYNC_DEST_REPO }}
+          force: true