From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 06 Mar 2006 09:20:18 GMT
Subject: Re: git clone downloads objects that are in GIT_OBJECT_DIRECTORY
Message-ID: <Pine.LNX.4.63.0603061019070.1422@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <BAYC1-PASMTP05F90E7F1807F05A274507AEE90@CEZ.ICE>

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