Re: A question about changing remote repo name

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jan 6, 2010, 00:27 UTC
Message-ID: <alpine.DEB.1.00.1001060123280.4985@pacific.mpi-cbg.de>
In-Reply-To: <c1b8b6671001051607j6b6398d8gf08f7615a38de64e@mail.gmail.com>

Hi,

On Wed, 6 Jan 2010, Russell Steicke wrote:

Show 12 quoted lines

> On Tue, Jan 5, 2010 at 12:30 PM, Dongas <dongas86@gmail.com> wrote:
> > I did a few more steps:
> > root@ubuntu:/work/git-repo/free_monkey# grep -wrin 'origin' .
> > ./.git/packed-refs:2:abfae429bb4081043e84681e5ee94102085f87e0
> > refs/remotes/origin/master
> > ./.git/refs/remotes/karmic/HEAD:1:ref: refs/remotes/origin/master
> >
> > Change 'origin' to 'karmic' in above files.
> 
> Ah yes, I forgot about those files.  I _think_ (but I'm not certain
> without digging into the code) that it's always safe to rm
> packed-refs, as that file is a cache for quicker access to the refs.

For everybody reading this thread: DON'T!

Russel, it would be better if you knew about the mechanism before making other people believe that it is safe to delete a file that is _not_ a cache, but _replaces_ the existing refs.

(Just mentioning that you only _think_ it is safe does not help; it is not safe, but people will think that it is safe. Maybe you'll spend those 5 minutes in the future before sending a message like you did...)

Hth, Dscho