GitLab: document gitlab-config repo and what it's useful for (!40) · Merge requests · tails / tails · GitLab

Merged intrigeri requested to merge doc/17753-gitlab-config into master Jun 10, 2020

Closes: #17753 (moved)