push with SSH (#89)

to give (hopefully) push acces to the CI.
amtoine · Nov 17, 2023 · 805867a · 805867a
1 parent 88d508e
commit 805867a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/actions/sync_action/action.yml b/.github/actions/sync_action/action.yml
@@ -48,7 +48,9 @@ runs:
       working-directory: /tmp/nu-git-manager
 
     - name: "Push to remote"
-      run: git push origin nightly
+      run: |
+        git remote set-url origin git@github.com:amtoine/nu-git-manager.git
+        git push origin nightly
       shell: bash
       working-directory: /tmp/nu-git-manager
       if: ${{ inputs.do_push == 'true' && !env.ACT }}