chore: debug private repo address

zama-ai · Jun 5, 2024 · 65ad815 · 65ad815
1 parent 7b3d76f
commit 65ad815
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
@@ -21,7 +21,7 @@ jobs:
 
       - name: Custom git-sync
         run: |
-          PRIVATE_REPO="https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
+          PRIVATE_REPO="https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}.git"
 
           git remote add private_repo "$PRIVATE_REPO"