Fix documentation for Gitlab/Jenkins local docker setup (#3205)
Fix documentation for Gitlab/Jenkins local docker setup (#3205)


ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS