Re: [PATCH 06/19] git_remote_helpers: push all refs during a non-local export
- From
Sverre Rabbelier <srabbelier@gmail.com>
- Date
- Jun 9, 2011, 10:26 UTC
- Message-ID
- <BANLkTimBF=hVmPLdh1Wqe4WBNFA2kpw6mg@mail.gmail.com>
- In-Reply-To
- <20110609084342.GC4885@elie>
Heya,
On Thu, Jun 9, 2011 at 10:43, Jonathan Nieder <jrnieder@gmail.com> wrote:
Show 13 quoted lines
> Sverre Rabbelier wrote: >> On Thu, Jun 9, 2011 at 10:09, Jonathan Nieder <jrnieder@gmail.com> 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