On Tue, Sep 20, 2022 at 11:57:09PM +0200, Paolo Bonzini wrote: > It should have been automatic, there's mirroring set up.
Hm, something is weird. Gitlab says "This project is mirrored from https://gitlab.com/bonzini/qboot.git. Pull mirroring updated 28 minutes ago." yet the commit is much older than 28 minutes ago. Backend issue of sorts?
