removed checkout master

Author: MarcelDiessner

.github/workflows/syncDocs.yml

@@ -63,7 +63,6 @@ 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"
@@ -73,7 +72,6 @@ jobs:
         if: ${{ env.TO_BE_CANCELLED == 'false' }}
         run: |
           cd ${REPO_TUTORIAL_DEST}
-          git checkout master
           git pull
           git status
           git add .