clean merge commit

apulis · Sep 28, 2020 · 048fcd4 · 048fcd4
1 parent 2613134
commit 048fcd4
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/sync_public_when_pushed.yml b/.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: