Re: [PATCH 0/7] Split off mini-os to a separate tree

[Wei Liu <wei.liu2@citrix.com>]

On Mon, Feb 02, 2015 at 02:50:31PM +0000, Ian Campbell wrote:
> On Mon, 2015-02-02 at 12:58 +0000, Wei Liu wrote:
> > As far as I can tell there is no incoming mini-os patches at the moment. So I
> > suggest we commence once we get that last mini-os patch in staging pushed to
> > master.
> 
> Is the new xenbits tree (the proper one, not your people one) for
> mini-os all setup and in place (but perhaps not populated?)
> 

No, not yet.

> I was just about to suggest that I apply patch #1, #2 and #4 as
> precursors. It sounds like you would prefer that I do not.
> 

You can apply #1, #2 and #4. They are safe.

> > I use following runes to split off mini-os:
> > 
> >   git filter-branch --tag-name-filter cat \
> >     --subdirectory-filter extras/mini-os/ -- --all
> > 
> >   # There is already a tag name 4.3.0-rc2 which points to the same commit.
> >   git tag -d xen-4.3.0-rc2
> 
> I wonder if we should just nuke that, it always breaks my tab completion
> and is very annoying ;-)
> 

Good idea.

Wei.

> Ian.