Fix(pull-usrlocalsrc): Try `origin/main` if `master` absent

diff --git a/pull-usrlocalsrc b/pull-usrlocalsrc
index ef9167b7f70561a8ac522b1400adda822c7cae33..c7159ada349311b42b2170e494c4c84c7621f9dd 100755 (executable)
--- a/pull-usrlocalsrc
+++ b/pull-usrlocalsrc
@@ -13,6 +13,6 @@ while read d; do
       { git pull upstream master || git pull upstream main:master; } &&
          git push origin master || exit 1
    elif has_remote origin; then
-      git pull origin master || exit 1
+      git pull origin master || git pull origin main:master || exit 1
    fi
 done