docs: Use GitLab Pages redirect

brunosrequested to merge
bruno.sc/gitlab-pages-use-http-redirect into devel

Version Control Information

Source branch: bruno.sc/gitlab-pages-use-http-redirect Target branch: devel

Commits:

* docs: Use GitLab Pages redirect

Our GitLab Page's root redirects to `/devel` as the default entrypoint.
This commit replaces the previously used HTML meta refresh [1] with a HTTP
 redirect which is more efficient and friendly to HTTP clients.
 The HTTP redirect is achieved with the redirects feature for GitLab Pages [2].
The now relative redirect also eliminates the use of the CI_PAGES_URL variable
 as a source of trouble.

[1] https://www.w3.org/TR/WCAG20-TECHS/H76.html
[2] https://docs.gitlab.com/user/project/pages/redirects/

While testing our upcoming move to https://gitlab.com/alasca.cloud/tarook/tarook and https://docs.tarook.cloud for the docs, the absolute redirect using the CI_PAGES_URL CI variable has shown to cause trouble. Hence I took the opportunity to improve the situation with GitLab Pages redirects that I just discovered.

Merge Prerequisites

  • MR title (and description) are descriptive
  • Code is readable and syntactically correct
  • Code is understandable
  • Documentation has been updated, if necessary
  • Commit messages look good
  • Release note file in RST format added in latest commit

As a developer: please do not tick these boxes yourself. As a reviewer: please get yourself a hot cold beverage.

Edited by brunos

Merge request reports