[darcs-users] Output of 'darcs push' suggests an option that push does not support (directly)

[Eric Kow]

On Wed, May 05, 2010 at 23:07:09 +0200, Ben Franksen wrote:
> > I think you want http://bugs.darcs.net/issue1429
> 
> Yes, sorry I was too lazy to first check the bug tracker. Anyway, the ticket
> does not mention that these options are recommended by darcs when doing a
> push, this IMO lends some additional force to the item. Should I add this
> to the ticket?

Sure.  Have a look at the email thread referenced there, though.
It seems to have a generated a bit of fine-grained UI discussion.

Thanks,

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100505/15b6aa90/attachment.pgp>