diff --git a/sys/src/cmd/git/pull b/sys/src/cmd/git/pull index ebc119020..a73f90a1d 100755 --- a/sys/src/cmd/git/pull +++ b/sys/src/cmd/git/pull @@ -66,7 +66,7 @@ if(! ~ `{git/query HEAD $remote @} `{git/query HEAD}){ oldcommit=`{git/query $local} newcommit=`{git/query $remote} -echo $remote':' $oldcommit '=>' `$newcommit +echo $remote':' $oldcommit '=>' $newcommit git/branch -mnb $remote $local # The remote is directly ahead of the local, and we have