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
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
[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