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

[Ian Campbell <Ian.Campbell@citrix.com>]

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?)

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.

> 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 ;-)

Ian.