I think "git pull" is different, because it is more often fetching from
one defined place (while Shawn said that he has a need for one-to-many
"git push"es and so do I). For "git pull", the branch config provides a
valuable default more often than for "git push".
I think it is highly dependent on your workflow. I would have said the
exact opposite.
Ah, to do so I always do fetch+gitk+merge (or cherry-pick instead of
merge). I use "git pull" (without arguments) only when I can blindly
not care about what's on the other side, e.g. because it's Junio who
assures it is good. :-)
I actually think I never use "git pull" with arguments, but that's
evidently me.
Paolo
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
