[PATCH 0/2] gitlab: Adapt name of CI job building the web page to 'pages'

[Peter Krempa]

The subject is deliberately chosen so that it does not imply that we
actually want to host libvirt.org via gitlab pages at this time.

It's not possible as gitlab pages don't allow redirects to different
domains:

  https://gitlab.com/gitlab-org/gitlab-pages/-/issues/601

The merit of this change was discussed here:

  https://gitlab.com/libvirt/libvirt-ocaml/-/merge_requests/23#note_1360494690

Along with this patch, a change to to the job deploying the page on
libvirt.org will be needed.

Peter Krempa (2):
  gitlab-ci: Configure website build to be published via gitlab pages
  docs: Add redirects configuration for gitlab pages

 .gitlab-ci.yml         | 70 ++++++++++++++++++++++++++++++++++++------
 docs/.gitlab_redirects | 38 +++++++++++++++++++++++
 2 files changed, 99 insertions(+), 9 deletions(-)
 create mode 100644 docs/.gitlab_redirects

-- 
2.40.0