Skip to content

Add instructions how to login/logout on GitLab

Lukas Jelinek requested to merge build-doc into master

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).

Edited by Lukas Jelinek

Merge request reports