Merge remote-tracking branch 'origin/develop' into to_public

.github/workflows/sync_public_when_pushed.yml

@@ -22,17 +22,12 @@ jobs:
     steps:
     - name: update repo
       run: |
-        cd ..
         git clone -b to_public https://banrieen:[email protected]/apulis/DLWorkspace.git
         cd DLWorkspace
         git config --global user.email "[email protected]"
         git config --global user.name "banrieen"
-        git pull
         git merge origin/develop -X theirs --no-ff
-        ls -la
         git push origin to_public
-        cd ..
-        rm -rf DLWorkspace
   sync-repo:
     runs-on: ubuntu-latest
     steps: