[darcs-devel] [issue1308] push should warn about unpulled patches before patch-selection

[Florent Becker]

New submission from Florent Becker <florent.becker at ens-lyon.org>:

When using push to a repository that has patches which the local repo does not
have, we are creating a version of the repo that has never existed. This might
be dangerous. Push already warns in that situation, but too late, after the
patches have been pushed. I think it should warn before selecting the patches:
Remote repository has 42 unpulled patches, do you still want to push there?

----------
messages: 7027
nosy: dmitry.kurochkin, galbolle, kowey, simon, thorkilnaur
priority: wishlist
status: unread
title: push should warn about unpulled patches before patch-selection

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1308>
__________________________________