Re: [Qemu-devel] [PULL 0/3] Update seabios to 1.7.4

[Peter Maydell]

On 17 February 2014 13:23, Peter Maydell <address@hidden> wrote:
> On 17 February 2014 13:17, Gerd Hoffmann <address@hidden> wrote:
>> The seabios mirroring doesn't seem to be automatic (or the automatic
>> mirroring is broken).  Usually Anthony updates the seabios.git tree
>> manually.
>>
>> Upstream git repo is git://git.seabios.org/seabios.git
>>
>> If you have write access to the seabios repo you can just pull latest
>> master from seabios.org and push it to qemu-project.org.  If not bug
>> anthony about it.
>
> I do have write access, but I'm not completely confident
> what the right command line rune to do this is. (It looks
> like our mirror of seabios has all its branches and
> maybe also tags, so a simple 'push one branch' is probably
> wrong). Anthony?

With some assistance from Stefan I found the correct runes
to do this:
 git clone --mirror git://git.seabios.org/seabios.git
 cd seabios
 git push --mirror [git+ssh url for mirror]

so I've updated our mirror.

thanks
-- PMM