On 27/10/20 14:14, Michael Roth wrote: > My only concern would be what the lag time might be between updates to > qemu-web.git and the actual website update if the mirroring doesn't > right away. Probably not a huge deal but might be good to know what the > upper bound is if we want to verify the update process went okay.
If gitlab became the primary repo for qemu-web.git, deployment would be done differently; either by rsyncing directly to qemu.org, or by making www.qemu.org a proxy for qemu-project.gitlab.io/qemu. Thanks, Paolo