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

[Eric Kow]

On Tue, May 18, 2010 at 16:00:20 +0000, Guillaume Hoffmann wrote:
> Thanks for the remark Petr. Here is a version that does not have the
> bad side effect. I have tested it agains bogus repos addresses and
> they do not get added to _darcs/prefs/repos .

Looks good, thanks to Petr for the earlier skim.

Guillaume: send may be another one.  Perhaps get too.

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100529/5aa31ca6/attachment.pgp>