On 01/03/2017 18:40, Peter Maydell wrote: > On 1 March 2017 at 13:27, Stefan Hajnoczi <stefa...@gmail.com> wrote: >> On Tue, Feb 28, 2017 at 9:06 AM, Gerd Hoffmann <kra...@redhat.com> wrote: >>> Our seabios.git mirror @ qemu.org seems to not sync properly. The >>> commit isn't there even though it was pushed a few days ago already >>> (only the tag was pushed today). John, can you have a look please? >>> master branch, *-stable branches and all tags should be mirrored. >> >> Hi Gerd, >> It looks like the git mirrors weren't updating. I kicked it and the >> necessary commit is now in the QEMU seabios.git mirror repo. >> >> It should be safe to merge this pull request now. > > $ git submodule update > fatal: reference is not a tree: 5f4c7b13cdf9c450eb55645f4362ea58fa61b79b > Unable to checkout '5f4c7b13cdf9c450eb55645f4362ea58fa61b79b' in > submodule path 'roms/seabios' > > Maybe this will update overnight?
The commit was there, but HEAD was not being updated. Fixed now. Paolo
