Resolve "Documentation root page should redirect to latest"
Closes #24 (closed)
- Removes the "redirection" CI job
- Push a redirection page during "page" CI job
Edited by Jean-Baptiste Bayle
Gitlab has been updated. More info here.
Closes #24 (closed)