Jan Hudec <bulb@xxxxxx> writes: > On Mon, Nov 26, 2007 at 18:10:10 +0100, Benoit Sigoure wrote: >> On Nov 26, 2007, at 5:46 PM, Andy Parkins wrote: >> While we're discussing bad names, as someone already pointed out, I agree >> it's sad that "git push" is almost always understood as being the opposite >> of "git pull". > > Well, it is an oposite of pull. Compared to it, it is limited in that it will > not do a merge and on the other hand extended to *also* be an oposite of > fetch, but still oposite of pull is push. With the same reasoning the opposite of a duck is a lobster, since a lobster has not only fewer wings, but also more legs. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum - 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
