On Wed, Jun 11, 2025 at 2:36 PM Thomas Huth <th...@redhat.com> wrote: > > On 11/06/2025 09.50, Gerd Hoffmann wrote: > > The following changes since commit bc98ffdc7577e55ab8373c579c28fe24d600c40f: > > > > Merge tag 'pull-10.1-maintainer-may-2025-070625-1' of > > https://gitlab.com/stsquad/qemu into staging (2025-06-07 15:08:55 -0400) > > > > are available in the Git repository at: > > > > https://gitlab.com/kraxel/qemu.git > > tags/seabios-1.17.0-20250611-pull-request > > > > for you to fetch changes up to cba36cf3881e907553ba2de38abd5edf7f952de1: > > > > seabios: update binaries to 1.17.0 (2025-06-11 09:45:00 +0200) > > > > ---------------------------------------------------------------- > > seabios: update to 1.17.0 release > > > > ---------------------------------------------------------------- > > > > Gerd Hoffmann (2): > > seabios: update submodule to 1.17.0 > > seabios: update binaries to 1.17.0 > > Hi Gerd, hi Stefan, > > I'm now getting this when doing a git pull: > > Fetching submodule roms/seabios > fatal: remote error: upload-pack: not our ref > b52ca86e094d19b58e2304417787e96b940e39c6 > Errors during submodule fetch: > roms/seabios
GitLab CI didn't detect this, probably because the tests don't build SeaBIOS from source and use the binaries instead. Given infinite CI resources we should rebuild all ROMs from source to catch problems like this one. I wanted to mention this in case anyone wants to tighten up the CI to catch these issues for SeaBIOS and other ROMs. > Looking at > https://gitlab.com/qemu-project/seabios/-/commits/master?ref_type=HEADS > there is a problem with the mirroring: > > "This project is mirrored from https://review.coreboot.org/seabios. Pull > mirroring failed 4 months ago. > Repository mirroring has been paused due to too many failed attempts. It can > be resumed by a project maintainer or owner. > Last successful update 4 months ago. This branch has diverged from upstream. " > > Could you please fix this? `git clone https://review.coreboot.org/seabios` works on my machine, but I manually clicked the "update" button and GitLab failed again. In the GitLab UI there is a button to add a new mirror repo. I thought maybe we can delete the old repo and add a new one, but the push/pull direction dropdown list is disabled. Maybe that's because only 1 repo can be a mirror source for pull, I'm worried that deleting the existing failed repo will leave us with no way to add a new repo that supports pull. Does anyone know how to go about fixing this failed mirror? Stefan