[...]
OK fine. git-pull is there to stay and let's make sure it remains the
same.
Let's see if, for example, git-merge can be made more useful in the mean
time for those evidently inferior people that would prefer an interface
that maps more closely to the actual operation that is being performed.
And although I do understand what "pull" does, I think I should qualify
myself as one of those inferior people nevertheless since /pull . blah"
really irritates me. OK I must be really dumb to let myself being
disturbed by such an insignificant detail... but apparently I'm not
alone.
But I promise to never change the "pull" behavior if I ever attempt to
fix the "merge" command for the inferior mortals as myself. All power
to those with superior minds shall never be removed.
;-)
Nicolas
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html