[darcs-users] Re: argh. please change the name "unpull"

[Peter Hercek]

Jean Jordaan wrote:
>> And 'unrecord' is a word? How do you 'unrecord' something?
> 
> 
> I'm not mad about 'unrecord' either. By analog to 'amend-record',
> perhaps 'undo-record' would be better.
> 

I do not agree with renaming unpull. But if it would happen
  it should not use undo-record. Most darcs commands do not
  separate words with dash if they are composed from more words.
  undorecord would be more appropriate.

ammed-record is an unfortunate exception.


Peter.