[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