Re: [Qemu-devel] [PULL 00/10] Ui 20171011 patches

[Peter Maydell]

On 12 October 2017 at 11:07, Daniel P. Berrange <address@hidden> wrote:
> On Thu, Oct 12, 2017 at 12:04:47PM +0200, Gerd Hoffmann wrote:
>>   Hi,
>>
>> > Not AFAICT - if i try it just never completes connect()
>>
>> Hmm, so maybe we should mirror the thing on git.qemu.org and use that?
>
> Can that be made 100% automated - I don't want to have to push changes to
> two different git repos.

All our git.qemu.org mirrors are automated, I think (there's a cron
job on the server somewhere that syncs them with the upstream, IIRC?)

thanks
-- PMM