Your pull does not seem to call either fetch nor merge... Strange.
My bad. I tracked shell calls using a wrapper around 'git' so it missed
calls without the 'remove-dashes' patches I posted yesterday.
http://vmiklos.hu/pic/git-call-graph-v2.png
This one now shows that.