Use git-merge instead of git-resolve in git-pull.
[git/gitweb.git] / Documentation / technical / 
tree0498861744be9dadce15733090dd96f3c6cc4474
drwxr-xr-x   ..
-rw-r--r-- 3251 trivial-merge.txt