The source project of this merge request has been removed.
- Start documenting changes in a change log.
- GitLab Pages will only be updated when we tag a new version,
such as
v15. - There are now badges on the project page for the 'latest' docs built from master and the 'stable' docs which are sent to GitLab Pages.