ref: 42be0bc6e14206449c2b41877cfd1468b0af6300
parent: d07ba3f6942faebb1059f8bea11cf58004d1e759
author: Ori Bernstein <[email protected]>
date: Tue Nov 17 22:25:45 EST 2020
pull: revert c9a4dbe9fea3b6328a27628f89d2fc4ca4d1970a oops, broke stuff.
--- a/pull
+++ b/pull
@@ -41,11 +41,8 @@
branch=''
if(~ $#upstream 0)
- remote=`{git/conf 'remote "origin".url'}
-if not
- remote=`{git/conf 'remote "'$upstream'".url'}
-if(~ $#remote 0)
- remote=$upstream
+ upstream=origin
+remote=`{git/conf 'remote "'$upstream'".url'}
if(~ $#remote 0)
die 'no remote to pull from'