We need -f to push those submodules back up to Github

ryppl · Jan 15, 2013 · efcbc15 · efcbc15
1 parent 718e2a9
commit efcbc15
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/bin/update.sh b/bin/update.sh
@@ -56,13 +56,12 @@ sleep 5
 rsync -aix --delete .git/ $WORKSPACE/boost-history.git/ | pv -le -s "$(du -d 0 .git/ | cut -f 1)" > /dev/null
 
 # Push tools and libs up to GitHub
-set +e
 for dir in libs tools ; do
     pushd "$dir"
     for module in * ; do
         pushd "$module"
         git remote add origin "git@github.com:boostorg/$module"
-        git push --mirror origin
+        git push --mirror -f origin
         popd
     done
     popd