|
I have a local copy of a repository that is
located on a server.
The repository on the server has now moved to
another server.
How do I update my local copy to point at the new
server location as target for push/pulls?
All answers appreciated!
Regards,
Viktor Linder
|
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
