pull before push

.github/workflows/design.yml

@@ -44,7 +44,8 @@ jobs:
         run: |
           git config --global user.email "robot@mateijordache.info"
           git config --global user.name "robot"
-          git switch -c documentation
+          git checkout documentation
+          git pull
           git add ${workflow_project_dir}/*.pdf
           git commit -m "Add design file PDFs to repo [skip ci]"
           git push origin documentation