From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45180) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZHTHF-0000Zi-J4 for qemu-devel@nongnu.org; Tue, 21 Jul 2015 04:51:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZHTHB-00089p-JE for qemu-devel@nongnu.org; Tue, 21 Jul 2015 04:51:53 -0400 Received: from mail-wi0-x22d.google.com ([2a00:1450:400c:c05::22d]:36987) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZHTHB-00089h-Bh for qemu-devel@nongnu.org; Tue, 21 Jul 2015 04:51:49 -0400 Received: by wibud3 with SMTP id ud3so120171288wib.0 for ; Tue, 21 Jul 2015 01:51:48 -0700 (PDT) Sender: Paolo Bonzini References: <1437143854-2826-1-git-send-email-kraxel@redhat.com> From: Paolo Bonzini Message-ID: <55AE0821.5040701@redhat.com> Date: Tue, 21 Jul 2015 10:51:45 +0200 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PULL for-2.4 0/7] update ipxe roms, fix efi support List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell , Gerd Hoffmann Cc: QEMU Developers , Stefan Hajnoczi On 21/07/2015 10:21, Peter Maydell wrote: >>> >> The ipxe changes are pushed to git://git.kraxel.org/ipxe (branch qemu, >>> >> tag qemu-2.4). They should be mirrored to git://git.qemu.org/ipxe.git >>> >> before merging this pull request. >> > >> > Is this supposed to happen automatically, or does somebody >> > need to manually do something for that to happen? > I need an answer to this question or this pull will miss rc2 :-( Looks like it needs to be done manually. Paolo