Skip to content

gitlab-ci: Fix duplicate merge and push pipelines

Bruno requested to merge bruno/mr-push into master

See commit message.

Merge request reports