make sure that overleaf branch is indeed at latest overleaf version

Author: Philip Keicher

Diff for: .github/workflows/push_to_overleaf.yml

@@ -42,6 +42,7 @@ jobs:
             git remote add overleaf https://git:${OVERLEAF_TOKEN}@git.overleaf.com/65df171af9ff7989580f017d
 
             git fetch overleaf
+            git pull overleaf master
             git push overleaf HEAD:master
           env:
             OVERLEAF_TOKEN: ${{ secrets.OVERLEAF_TOKEN }}