aboutsummaryrefslogtreecommitdiff
path: root/files
diff options
context:
space:
mode:
Diffstat (limited to 'files')
-rw-r--r--files/update-dev.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/files/update-dev.sh b/files/update-dev.sh
index d872fdf8..3c960ae4 100644
--- a/files/update-dev.sh
+++ b/files/update-dev.sh
@@ -4,7 +4,7 @@ git checkout dev
git branch -d dev-bak
git checkout -b dev-bak
git checkout master
-git pull origin master
+git pull -f origin master
git branch -d dev
git checkout -b dev
git push --set-upstream origin dev \ No newline at end of file