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?
Yeah the mirroring from GitHub to (my personal fork on) Gitlab was failing because git:// is not supported anymore. Changed to https:// and everybody is happy.
Btw I saw your other patches, will get to it tomorrow.
Paolo