From: Sverre Rabbelier Date: Thu, 09 Jun 2011 10:26:11 GMT Subject: Re: [PATCH 06/19] git_remote_helpers: push all refs during a non-local export Message-ID: In-Reply-To: <20110609084342.GC4885@elie> Heya, On Thu, Jun 9, 2011 at 10:43, Jonathan Nieder wrote: > Sverre Rabbelier wrote: >> On Thu, Jun 9, 2011 at 10:09, Jonathan Nieder wrote: > >>>        export :1 refs/heads/foo >>>        export :2 refs/heads/bar >>>        export :3 +refs/heads/force >>> >>> with :1, :2, and :3 being marks in the fast-import stream. >> >> The only problem there is that we don't know the relevant marks beforehand. > > Since this requires changing "git fast-export" anyway, we could > arrange to know. How? Or do you mean like, 'reserve' a certain mark? > A related problem, though: it is not friendly to stomp on mark numbers > which an exporter might want to use for some other purpose.  So yeah, > the precise syntax above is not so great. We might just want to do it _afterward_. We already have some communication after the import (the "ok ..." lines), so why not add a "update :1 /refs/heads/master"? -- Cheers, Sverre Rabbelier