Add limit for buffer

.github/workflows/push_gitlab.yml

@@ -11,7 +11,7 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v4
+      uses: actions/checkout@v2
 
     - name: Ensure main branch exists
       run: |
@@ -21,13 +21,12 @@ jobs:
       run: |
         git config --global user.name 'github-actions'
         git config --global user.email 'actions@github.com'
+        git config --global http.postBuffer 10000000  # 10 MB
         
-    - name: Add GitLab SSH key
-      uses: webfactory/ssh-agent@v0.9.0
-      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 add gitlab git@gitlab.ids.ll.mit.edu:nyu/tim-reasoning.git
-        git push -u gitlab main
+        git remote set-url origin https://oauth2:$GITLAB_TOKEN@$GITLAB_URL
+        git push origin main