Re: [darcs-users] Re: [darcs #473] unpull: I do not think it means what you think it means

2005-08-05 Thread Thomas Zander
On Saturday 30 July 2005 13:58, David Roundy wrote: I'm a new darcs user.  darcs is very cool.  At least 3 times now I've been confused because I needed to unpull, but hadn't pulled anything. Maybe you should change the name. The name unpull was intended to keep people from mistakenly

[darcs-users] Re: [darcs #473] unpull: I do not think it means what you think it means

2005-07-30 Thread David Roundy
I'm running this by folks on darcs-users, to get a bit more feedback. I'm leaning towards adding an obliterate alias for unpull, a change that I've staunchly opposed in the past. I seem to recall that most users would be in favor of this change, but wanted to run it by folks just in case there

Re: [darcs-users] Re: [darcs #473] unpull: I do not think it means what you think it means

2005-07-30 Thread zooko
[EMAIL PROTECTED] - Wed Jul 27 13:44:48 2005]: Hi, I'm a new darcs user. darcs is very cool. At least 3 times now I've been confused because I needed to unpull, but hadn't pulled anything. Maybe you should change the name. This bug report was sent by my wife (a computational