[darcs-users] [BUG] darcs push --dry-run fails

Juliusz Chroboczek jch at pps.jussieu.fr
Tue Jun 29 18:18:14 UTC 2004


>> In other words, would it be okay if doing
>> 
>> $ pull http://host...
>> $ pull ../hacks
>> $ pull

>> caused the second pull to use HTTP?

Sorry, I meant the *third* pull.  The only difference I propose is
that lastrepo is never changed automatically once it's created.  So in
order to set it to something else...

>> You'd need to manually remove _darcs/prefs/lastrepo in order to
>> switch parents.

                                        Juliusz




More information about the darcs-users mailing list