This patch adds instructions how to login to GitLab before pushing a generated Docker container for building documentation and how to logout after pushing.
Resolves #139 (closed).
This patch adds instructions how to login to GitLab before pushing a generated Docker container for building documentation and how to logout after pushing.
Resolves #139 (closed).