[Qemu-devel] qemu.org: new git repos to be mirrored (qemu-palcode, capstone, keycodemapdb)

From: Peter Maydell <peter.maydell@linaro.org>
To: Jeff Cody <jcody@redhat.com>
Cc: Gerd Hoffmann <kraxel@redhat.com>,
	QEMU Developers <qemu-devel@nongnu.org>,
	Stefan Hajnoczi <stefanha@redhat.com>,
	"Daniel P. Berrange" <berrange@redhat.com>,
	Paolo Bonzini <pbonzini@redhat.com>,
	Richard Henderson <rth@twiddle.net>
Subject: [Qemu-devel] qemu.org: new git repos to be mirrored (qemu-palcode, capstone, keycodemapdb)
Date: Thu, 12 Oct 2017 13:42:54 +0100	[thread overview]
Message-ID: <CAFEAcA81AZBaGu6nrLK51_6vWApMSpMDhb9OsnkdApMGebYK8w@mail.gmail.com> (raw)

On 12 October 2017 at 11:14, Daniel P. Berrange <berrange@redhat.com> wrote:
> On Thu, Oct 12, 2017 at 12:13:23PM +0200, Gerd Hoffmann wrote:
>> On Thu, 2017-10-12 at 11:07 +0100, Daniel P. Berrange wrote:
>> > On Thu, Oct 12, 2017 at 12:04:47PM +0200, Gerd Hoffmann wrote:
>> > > 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.
>>
>> Yes, seabios works that way for example.
>
> Ok, lets do that mirror then we can use git:// and we're consistent with
> other submodules we use

We also have RTH's capstone disassembler patchset which wants to
use capstone as a more-or-less-required dependency, and we have
the one loose end in our current submodules that the qemu-palcode
rom is using a non-qemu.org URL.

So can we set up these repos to be mirrored on qemu.org:
 * git://github.com/rth7680/qemu-palcode.git
 * https://github.com/aquynh/capstone.git
 * https://gitlab.com/keycodemap/keycodemapdb.git

please?

thanks
-- PMM