On Wednesday 2006, November 15 18:03, Linus Torvalds wrote: > Guys, before you start thinking this way, the fact is, there's a lot of > happy git users. I'm a happy user, doesn't mean I wouldn't like changes. In fact, by that argument, that there are happy users means that there is no need to ever make changes. > - git itself has now done it that way for the last 18 months, and the > fact is, the people _complaining_ are a small subset of the people who > actually use git on a daily basis and don't complain. That's awfully like the argument I hear off my bank whenever I complain to them too - "well lots of other people don't complain so we must be right". The people who complain are a subset of the people who have complaints. I don't think never changing is a good argument - leaving aside the actual changes under discussion - in another 18 months lets say there are double the number of git users, and 18 months after that double again - in that case the potential new users needs outweigh the current users needs. > If you think "pull" is confusing, I can guarantee you that _changing_ the > name is a hell of a lot more confusing. In fact, I think a lot of the > But the fact is, git isn't really that hard to work out, and the commands On the one hand you're arguing that git syntax is easy to learn, and on the other that no one will be able to learn a new syntax just as easily. > aren't that complicated. There's no reason to rename them. We do have > other problems: That there are other problems doesn't negate these problems. > But trying to rename "pull" (or the "git" name itself) is just going to > cause more confusion than you fix. I don't think so. Mainly because the proposed new git pull would be a subset of the existing git pull. It's not changing function, it's just reducing in function. Andy -- Dr Andrew Parkins, M Eng (Hons), AMIEE andyparkins@xxxxxxxxx - 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