fix pipeline

Author: Philip Keicher

.github/workflows/push_to_overleaf.yml

@@ -38,10 +38,11 @@ jobs:
             fetch-depth: '0'
         - name: Push to overleaf
           run: |
+            git checkout sync_overleaf
             git remote add overleaf https://git:${OVERLEAF_TOKEN}@git.overleaf.com/65df171af9ff7989580f017d
 
             git fetch overleaf
-            git push overleaf HEAD:sync_overleaf
+            git push overleaf HEAD:master
           env:
             OVERLEAF_TOKEN: ${{ secrets.OVERLEAF_TOKEN }}
             GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}