8b1f6e
Merge branch 'git_on_gitlab_runners' into 'production' improvements on gitlab runner profile: See merge request infra/salt!217