uncomment deploy extensions

DaikonWeb · Jan 29, 2020 · 4ed14c1 · 4ed14c1
1 parent 42b9842
commit 4ed14c1
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/scripts/sync_versions.sh b/scripts/sync_versions.sh
@@ -16,9 +16,10 @@ do
     (
         cd ${folder}
         echo "deploy: $(pwd)"
-#        git stash
-#        git pull --rebase
-#        ./${SCRIPT_NAME} ${TAG}
-#        git stash pop
+        git stash
+        git pull --rebase
+        git pull --tags
+        ./${SCRIPT_NAME} ${TAG}
+        git stash pop
     )
 done