Re: [Qemu-devel] [PATCH for-2.12] gitmodules: Use the QEMU mirror of qemu-palcode

2018-03-22 Thread Peter Maydell
On 19 March 2018 at 16:25, Stefan Hajnoczi wrote: > On Mon, Mar 19, 2018 at 01:17:43PM +, Peter Maydell wrote: >> We have a mirror of the qemu-palcode repository on >> git.qemu.org; use that instead of the upstream github, >> in line with our general policy of keeping and using >> a mirror for

Re: [Qemu-devel] [PATCH for-2.12] gitmodules: Use the QEMU mirror of qemu-palcode

2018-03-19 Thread Richard Henderson
On 03/19/2018 09:17 PM, Peter Maydell wrote: > We have a mirror of the qemu-palcode repository on > git.qemu.org; use that instead of the upstream github, > in line with our general policy of keeping and using > a mirror for submodules. > > Signed-off-by: Peter Maydell Reviewed-by: Richard Hende

Re: [Qemu-devel] [PATCH for-2.12] gitmodules: Use the QEMU mirror of qemu-palcode

2018-03-19 Thread Stefan Hajnoczi
On Mon, Mar 19, 2018 at 01:17:43PM +, Peter Maydell wrote: > We have a mirror of the qemu-palcode repository on > git.qemu.org; use that instead of the upstream github, > in line with our general policy of keeping and using > a mirror for submodules. > > Signed-off-by: Peter Maydell > --- > W

[Qemu-devel] [PATCH for-2.12] gitmodules: Use the QEMU mirror of qemu-palcode

2018-03-19 Thread Peter Maydell
We have a mirror of the qemu-palcode repository on git.qemu.org; use that instead of the upstream github, in line with our general policy of keeping and using a mirror for submodules. Signed-off-by: Peter Maydell --- We also currently have two submodules we don't have mirroring for: seabios-hppa