Add ssh settings

VIDA-NYU · May 29, 2024 · 28629fc · 28629fc
1 parent f80704f
commit 28629fc
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/.github/workflows/push_gitlab.yml b/.github/workflows/push_gitlab.yml
@@ -21,12 +21,13 @@ jobs:
       run: |
         git config --global user.name 'github-actions'
         git config --global user.email '[email protected]'
-        git config --global http.postBuffer 157286400  # 150 MB
         
+    - name: Add GitLab SSH key
+      uses: webfactory/[email protected]
+      with:
+        ssh-private-key: ${{ secrets.GITLAB_SSH_PRIVATE_KEY }}
+
     - name: Add GitLab remote and push
-      env:
-        GITLAB_URL: ${{ secrets.GITLAB_URL }}
-        GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }}
       run: |
-        git remote set-url origin https://oauth2:$GITLAB_TOKEN@$GITLAB_URL
-        git push origin main
+        git remote add gitlab [email protected]:nyu/tim-reasoning.git
+        git push -u gitlab main