New submission from Eric Kow <[EMAIL PROTECTED]>:

If the remote repository has patches that you don't have, at the very end of
pushing, it would be nice to get a message like

(By the way, this repository has 23 patches to pull.)

This sort of reminder might be especially useful for users who are not familiar
with darcs, but have been dragged into it by enthusiastic users.

Perhaps we could have a similar message for after you pull as well

(By the way, you have 39 patches that the remote repository does not)

----------
messages: 3830
nosy: beschmi, droundy, jaredj, kowey, tommy
priority: wishlist
status: unread
title: wish: tell the user when there are patches to pull (on darcs push)
topic: ProbablyEasy

__________________________________
Darcs bug tracker <[EMAIL PROTECTED]>
<http://bugs.darcs.net/issue738>
__________________________________
_______________________________________________
darcs-devel mailing list
darcs-devel@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-devel

Reply via email to