On Fri, 2015-02-06 at 17:45 +0000, Stefano Stabellini wrote: > That's a good point. I think git clone would be more inline with any > other external project that we use. However I'll let the other > maintainers decide on this.
If anything it should be a clone of a push-gated Linux git tree on xenbits.xen.org. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
