Pull from github in sync-org.sh

2022-04-08 12:03:06 -04:00
parent 5a24ecdee0
commit fde25f3ecb
1 changed files with 1 additions and 1 deletions
--- a/git_sync/sync-org.sh
+++ b/git_sync/sync-org.sh
@ -33,7 +33,7 @@ for URL in $URLLIST; do
    for d in $DO; do
      # push all the updates
      echo "Merging updates for $CLONEDIR... attempt $d"
-      git pull origin master && break
+      git pull github master && break
    done
    for d in $DO; do
      # push all the branches