Rename source -> upstream

diff --git a/pull-usrlocalsrc b/pull-usrlocalsrc
index 085520632d821711b13f35786d6057eae48e67c9..92156d9e1f22510ad3254ae0a2485450c92624b9 100755 (executable)
--- a/pull-usrlocalsrc
+++ b/pull-usrlocalsrc
@@ -11,8 +11,8 @@ prog_dir="`dirname \"$0\"`" &&
 cat "$prog_dir"/locate-all.list | grep -F /usr/local/src |
 while read d; do
    echo "----- $d -----"; cd "$d" &&
-   if has_remote source && has_remote origin; then
-      git pull source master && git push origin master || exit 1
+   if has_remote upstream && has_remote origin; then
+      git pull upstream master && git push origin master || exit 1
    else
       git remote | xargs -I'{}' git pull '{}' master || exit 1
    fi