git/pull: fix typo

This commit is contained in:
Ori Bernstein 2024-12-22 01:19:50 +00:00
parent 66abd6e50a
commit 8b3a70dcd1

View file

@ -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