[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