ref: ee85c8581f924cec6d0a10a94d55635b3164b618
parent: 0225afc4a1006abac5f35cec0bfe27623f03e3f9
author: Ori Bernstein <ori@eigenstate.org>
date: Wed Jan 15 17:52:17 EST 2020
use upstream url if configured
--- a/pull
+++ b/pull
@@ -43,8 +43,12 @@
while(~ $1 -*){ switch($1){case -u
- upstream=SOMEONE
- remote=$2
+ upstream=$2
+ remote=`{git/conf 'remote "'upstream'".url'}+ if(~ $#remote 0){+ upstream=SOMEONE
+ remote=$2
+ }
shift
case -b
branch=$2