[libvirt] official libvirt mirror on github?

[Cole Robinson]

On 05/22/2015 04:47 AM, Daniel P. Berrange wrote:
> On Fri, May 22, 2015 at 09:33:19AM +0200, Peter Krempa wrote:
>> On Thu, May 21, 2015 at 21:34:25 -0400, Cole Robinson wrote:
>>> Hey all,
>>>
>>> Anyone considered setting up libvirt*.git mirrors on github? Given the
>>> popularity of github these days, IMO it's unfortunate we don't have an
>>> official mirror on there.
>>>
>>> As far as the actual mirroring though, we'd probably need to set up hooks on
>>> libvirt.org to push new commits up to github, there doesn't appear to be any
>>> better way than that.
>>>
>>> Thoughts?
>>
>> I'm worried that once we have a github clone that is described as
>> official it will motivate people to send code via github pull requests
>> rather than via the mailing list.
>>
>> I don't object to the mirror though, we just should make it obvious that
>> it's read only and that we certainly don't accept any pull requests.
> 
> FYI we already have an automated read-only mirror on gitlab.com, and
> previously on gitorious.org.

How are these mirrored? Some manual syncing or does gitlab have native support
for mirroring another repo and watching for changes?

- Cole