remove workdir before reusing it again

2020-09-25 08:24:14 +02:00 · 2020-09-25 08:24:14 +02:00 · ef8662dedd
parent 12e2c64718
commit ef8662dedd
1 changed files with 1 additions and 0 deletions
--- a/mirror.sh
+++ b/mirror.sh
@ -16,6 +16,7 @@ test "${LOCAL_SHA}" == "${REMOTE_SHA}" && exit 0
 echo "Changes detected! Cloning and updating local repo"

 # clone, pull and push
+rm gh_repo -rf
 git clone -b ${branch} ${GITHUB_REPO_URL} gh_repo || exit -1
 cd gh_repo
 git pull ${source_repo} ${branch} || exit -1