On Wed, Feb 24, 2021 at 03:33:41PM +0000, Daniel P. Berrangé wrote: > On Wed, Feb 24, 2021 at 03:25:41PM +0000, Stefan Hajnoczi wrote: > > On Wed, Feb 24, 2021 at 12:19:25PM +0000, Daniel P. Berrangé wrote: > > > On Wed, Feb 24, 2021 at 12:15:05PM +0000, Stefan Hajnoczi wrote: > > > > On Tue, Feb 23, 2021 at 01:37:45PM +0000, Alex Bennée wrote: > > > > > > > > > > Philippe Mathieu-Daudé writes: > > > > > > Or even better since we have a job pushing to Gitlab pages > > > > > > accessible on https://qemu-project.gitlab.io/qemu/: > > > > > > > > > > > > https://qemu-project.gitlab.io/qemu/devel/style.html > > > > > > > > > > > > Maybe the https://www.qemu.org/docs/ redirect should > > > > > > go to gitlab page now? > > > > > > > > > > It could do either, I think the result is exactly the same. > > > > > > > > Standarizing project infrastructure on GitLab CI seems good to me. That > > > > way developers will be able to reuse their CI knowledge and won't have > > > > to learn other systems (like readthedocs). > > > > > > > > However, I don't see .gitlab-ci.yml directives that build the docs and > > > > publish a static page yet. Is anyone volunteering to do this? (It can be > > > > done as a separate step from this patch.) > > > > > > The very last job (called 'pages') in .gitlab-ci.yml does this. > > > > Awesome! I have updated the qemu.org HTTP redirect to GitLab: > > > > https://qemu.org/docs/master/ > > > > If anyone wants to discuss RTD vs GitLab docs hosting more, please go > > ahead. We can change the redirect again in the future, if necessary. > > The downside with using a HTTP redirect is that user's still see the > particular hosting choice. So they are liable to bookmark these > links which will break if we move again. > > Paolo had proposed a patch to rsync the CI content directly onto > qemu.org: > > https://lists.gnu.org/archive/html/qemu-devel/2021-01/msg04629.html That sounds good too. Stefan