ref: 3c2c52864ac6c2f648db004771dd01949974e9eb
parent: ee85c8581f924cec6d0a10a94d55635b3164b618
author: Ori Bernstein <ori@eigenstate.org>
date: Fri Jan 17 12:10:05 EST 2020
remove debug print
--- a/pull
+++ b/pull
@@ -16,7 +16,6 @@
url=$3
dir=$4
- echo git/fetch -b $branch -u $upstream $url
{git/fetch -b $branch -u $upstream $url >[2=3] || die $status} | awk '
/^remote/{
if($2=="HEAD")