[darcs-devel] [issue738] wish: tell the user when there are patches to pull (on darcs push)

Eric Kow bugs at darcs.net
Fri Mar 7 17:23:00 UTC 2008


New submission from Eric Kow <eric.kow at gmail.com>:

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 <bugs at darcs.net>
<http://bugs.darcs.net/issue738>
__________________________________


More information about the darcs-devel mailing list