From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: Re: [PATCH 0/7] Split off mini-os to a separate tree Date: Mon, 2 Feb 2015 14:50:31 +0000 Message-ID: <1422888631.19293.43.camel@citrix.com> References: <1422881943-7687-1-git-send-email-wei.liu2@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1422881943-7687-1-git-send-email-wei.liu2@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Wei Liu Cc: talex5@gmail.com, stefano.stabellini@eu.citrix.com, anil@recoil.org, ian.jackson@eu.citrix.com, xen-devel@lists.xen.org, pooka@iki.fi, samuel.thibault@ens-lyon.org, dgdegra@tycho.nsa.gov List-Id: xen-devel@lists.xenproject.org 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.