Re: [MirageOS-devel] github xen git mirror

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 11 May 2015, at 09:18, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> 
> On 11 May 2015 at 01:56, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>> On 7 May 2015, at 08:44, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>>> 
>>> On 28 October 2014 at 21:45, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>>> On 26 May 2014, at 11:37, Dave Scott <Dave.Scott@xxxxxxxxxx> wrote:
>>>>> 
>>>>> 
>>>>> On 26 May 2014, at 11:31, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>>>> 
>>>>>> A bunch of us now have our own GitHub mirrors of Xen, so it's a good 
>>>>>> idea to have a proper mirror repository to fork from instead.
>>>>>> 
>>>>>> Dave, I noticed your mirror scripts on mirage/xen have stopped.  Do you 
>>>>>> mind if I take that over and setup a cron job for it from the bactrian 
>>>>>> bot?
>>>>> 
>>>>> Oops, I lost those when I reinstalled the box they were running on.
>>>>> 
>>>>> Feel free to run cron somewhere else!
>>>> 
>>>> This is now running as an hourly cronjob on blobs.openmirage.org and 
>>>> mirroring to:
>>>> 
>>>>  https://github.com/mirage/xen
>>>> 
>>>> Thomas(L), we could also extend the cron mirroring to split out MiniOS in 
>>>> the future via git-filter-branch, if we need that to split out MiniOS in 
>>>> the future.
>>> 
>>> Mini-OS now has its own repository. Can we get a mirror of that too?
>>> 
>>> http://xenbits.xen.org/gitweb/?p=mini-os.git;a=summary
>> 
>> Now setup at:
>> 
>> https://github.com/mirage/mini-os
>> 
>> and synching hourly from upstream, just as the existing Xen mirror does.
> 
> Thanks! I've rebased my "devel" branch (with the ARM support) from the
> Xen repository to a fork of the new Mini-OS repository (now on
> "master"):
> 
>  https://github.com/talex5/mini-os
> 
> You should be able to build and install with:
> 
> git clone https://github.com/talex5/mini-os.git
> cd mini-os
> git submodule update --init
> make install PREFIX=`opam config var prefix`

Good stuff.  How does this hook into the mirage-minios-xen repository?  Do we 
need to disable the local MiniOS installation there for this one to be picked 
up?

If so, it might be worth breaking up that repository into individual OPAM 
packages so that they can pinned separately...

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel