Use "git merge" instead of "git pull ."
[gitweb.git] / t / t9700 /
drwxr-xr-x   parent (dest: t; base: a7bdee1122297442ac8eaaecf20db7363d48a14e)
-rwxr-xr-x 5545 test.pl