Hi,
On Sun, 5 Mar 2006, sean wrote:
However, it might be nice to have a command that allows you to
change origin information for a repo without needing to know git
internals; maybe something like:
$ git set-origin <URL>
Or maybe better:
$ git set-remote --pull master:origin origin <URL>
FWIW, I once sent patches to make this easier by placing this information
into the config file, but for reasons I did not understand, they were
rejected. Sigh!
Ciao,
Dscho