Re: git remote update -> rejected

[Johannes Schindelin <Johannes.Schindelin@gmx.de>]

Hi Peff,

On Tue, 22 Apr 2008, Jeff King wrote:

> On Tue, Apr 22, 2008 at 12:55:03PM +0200, Mike Galbraith wrote:
> 
> > >   [remote "x86"]
> > >     url = ...
> > >     fetch = +refs/heads/*:refs/remotes/x86/*
> > > 
> > > See 'git help fetch' for details.
> > 
> > Thanks a bunch.  I'll try it.  I notice that origin and linux-next
> > already had + prefix.  Presumably that came from the home repo.
> 
> Cloning creates an origin with '+' in the fetch line, but "git remote
> add" doesn't seem to. Hrm, it looks like this is a regression from the
> recent rewrite in C.

Thanks for working on this: I missed this thread (had too many mails to 
catch up with).

> Dscho, is this a bug, or was there a conscious decision that I missed?

It was a concious decision, but maybe it was wrong.

My rationale was this: if I mirror another person's repository, I want all 
the history.  And I do want to keep it, even if the other person decides 
to clean the original repository out.

(In this case, the reflogs would not help, since I do not have a HEAD 
reflog for all the deleted branches, and deleting the refs deletes their 
reflogs, too.)

But as I said, my rationale may very well be wrong.

Ciao,
Dscho