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

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

On Fri, 2015-02-27 at 17:07 +0000, Ian Campbell wrote:
> On Fri, 2015-02-27 at 16:37 +0000, Ian Campbell wrote:
> > On Wed, 2015-02-25 at 11:21 +0000, Wei Liu wrote:
> > > This is v3 of my mini-os splitting off patch series.
> > 
> > As xen@xenbits I ran:
> >         $ mkdir ~/git/mini-os.git
> >         $ cd ~/git/mini-os.git
> >         $ git init --bare
> >         Initialized empty Git repository in /home/xen/git/mini-os.git/
> >         $ chgrp -R xenmaint .
> >         $ find . -type d -exec chmod g+s {} \;
> >         $ git config --add receive.denyNonFastForwards true
> >         $ git config --add receive.unpackLimit 10000
> >         $ git config --add gc.autopacklimit 25
> 
> This omitted setting up the mails to xen-staging@lists.xensource.com on
> push.

... and omitted making xenbits.xen.org/git-http/mini-os.git as well as
pushing the tags.

I have now run "git update-server-info" in the mini-os.git and done:
        $ cd /var/xenbits-www/html/git-http
        $ ln -sf /home/xen/git/mini-os.git .

I've also pushed the tags below, omitting a small number of unusual
looking ones namely:
        xen-beta1
        xen-ia64-stable
        xen-latest-semistable
        xen-latest-stable
        xen-semistable
        xen-sparse-tree-deprecated
        xen-split-1.0
        xen-split-1.1
        

Ian.