On 17 February 2014 13:23, Peter Maydell <peter.mayd...@linaro.org> wrote: > On 17 February 2014 13:17, Gerd Hoffmann <kra...@redhat.com> 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
