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 - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html