Pull from github in sync-org.sh

2022-04-08 12:02:43 -04:00
parent 8d4bec9c90
commit 5a24ecdee0
1 changed files with 5 additions and 0 deletions
--- a/git_sync/sync-org.sh
+++ b/git_sync/sync-org.sh
@ -30,6 +30,11 @@ for URL in $URLLIST; do
      echo "Merging updates for $CLONEDIR... attempt $d"
      git pull origin master && break
    done
+    for d in $DO; do
+      # push all the updates
+      echo "Merging updates for $CLONEDIR... attempt $d"
+      git pull origin master && break
+    done
    for d in $DO; do
      # push all the branches
      echo "Pushing updates for $CLONEDIR... attempt $d"