[darcs-users] [patch250] resolve issue1784: push and pull print remote address ...

gh bugs at darcs.net
Sat May 15 16:11:57 UTC 2010


gh <guillaumh at gmail.com> added the comment:

A little explanation:

the problem this patch solves is that darcs pull and darcs push first
wait to have an answer from the server before printing its address.
This can be annoying when the server is down or when you don't
remember what is the default server of your repository.

More generally, it is a good usability practise to tell the user why
they have to wait for the program to respond.

guillaume

On Sat, May 15, 2010 at 6:02 PM, gh <bugs at darcs.net> wrote:
>
> New submission from gh <guillaumh at gmail.com>:
>
> 1 patch for repository http://darcs.net:
>
> Sat May 15 18:00:46 CEST 2010  Guillaume Hoffmann <guillaumh at gmail.com>
>  * resolve issue1784: push and pull print remote address right away
>
> ----------
> files: resolve-issue1784_-push-and-pull-print-remote-address-right-away.dpatch, unnamed
> messages: 11074
> nosy: gh
> status: needs-review
> title: resolve issue1784: push and pull print remote address ...
>
> __________________________________
> Darcs bug tracker <bugs at darcs.net>
> <http://bugs.darcs.net/patch250>
> __________________________________

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


More information about the darcs-users mailing list