added checkout to master

Author: MarcelDiessner

.github/workflows/syncDocs.yml

@@ -63,6 +63,7 @@ jobs:
         if: ${{ env.TO_BE_CANCELLED == 'false' }}
         run: |
           cd ${REPO_COMPILER_DEST}
+          git checkout master
           git status
           git add .
           git commit -m "${REPO_COMPILER_SOURCE} documentation | GitHub Actions $GITHUB_WORKFLOW $GITHUB_RUN_NUMBER"