[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