darcs

Issue 738 wish: tell the user when there are patches to pull (on darcs push)

Title wish: tell the user when there are patches to pull (on darcs push)
Priority wishlist Status resolved
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, ertai, jaredj, kowey, markstos, thorkilnaur, tommy
Assigned To
Topics ProbablyEasy

Created on 2008-03-07.17:23:00 by kowey, last changed 2009-10-24.00:05:50 by admin.

Messages
msg3830 (view) Author: kowey Date: 2008-03-07.17:22:58
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)
msg3831 (view) Author: droundy Date: 2008-03-07.17:26:26
On Fri, Mar 07, 2008 at 05:23:00PM -0000, Eric Kow wrote:
> 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.)

Sounds pretty nice to me.

> 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)

I'm less convinced by this one.  Very often one doesn't want to push or
send patches.
-- 
David Roundy
Department of Physics
Oregon State University
msg3842 (view) Author: ertai Date: 2008-03-08.11:36:13
Excerpts from Darcs Bugs's message of Fri Mar 07 17:23:00 UTC 2008:
> 
> New submission from Eric Kow <eric.kow@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)

That would be a *very* nice behavior!
msg3846 (view) Author: markstos Date: 2008-03-08.14:14:55
I like the idea of this feature as well.
msg4835 (view) Author: kowey Date: 2008-05-22.16:15:24
Resolved by

Thu May 15 19:47:14 BST 2008  Eric Kow <E.Y.Kow@brighton.ac.uk>
  * Resolve issue738: When pushing, remind user of patches to pull.
History
Date User Action Args
2008-03-07 17:23:00koweycreate
2008-03-07 17:26:28droundysetstatus: unread -> unknown
nosy: droundy, tommy, beschmi, kowey, jaredj
messages: + msg3831
2008-03-08 11:36:14ertaisetnosy: + darcs-devel, ertai
messages: + msg3842
2008-03-08 14:14:57markstossetstatus: unknown -> deferred
nosy: + markstos
messages: + msg3846
2008-05-14 18:51:17koweysetstatus: deferred -> unknown
nosy: + dagit
2008-05-22 16:15:26koweysetstatus: unknown -> resolved-in-unstable
nosy: droundy, tommy, beschmi, kowey, markstos, darcs-devel, dagit, jaredj, ertai
messages: + msg4835
2008-08-05 23:30:13koweysetstatus: resolved-in-unstable -> resolved
nosy: droundy, tommy, beschmi, kowey, markstos, darcs-devel, dagit, jaredj, ertai
2009-08-06 17:56:09adminsetnosy: + jast, Serware, dmitry.kurochkin, zooko, mornfall, simon, thorkilnaur, - droundy, jaredj, ertai
2009-08-06 21:00:09adminsetnosy: - beschmi
2009-08-10 22:17:34adminsetnosy: + ertai, jaredj, - zooko, jast, Serware, mornfall
2009-08-11 00:08:24adminsetnosy: - dagit
2009-08-25 18:07:23adminsetnosy: - simon
2009-08-27 14:02:26adminsetnosy: tommy, kowey, markstos, darcs-devel, thorkilnaur, jaredj, ertai, dmitry.kurochkin
2009-10-23 22:40:48adminsetnosy: + nicolas.pouillard, - ertai
2009-10-24 00:05:50adminsetnosy: + ertai, - nicolas.pouillard