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? thanks -- PMM
