change gitlab command
change gitlab command


Former-commit-id: 423e6435a9968b268bc451b424d16562df244f1c [formerly 47ceec4b6f5b58b35e3affa38b486d67f6e25691]
Former-commit-id: 6fc87432fd069eb722364f6e34634139b24ab0b7
ontop/ontop,ontop/ontop,ontop/ontop,ontop/ontop,ontop/ontop