modified: .gitlab-ci.yml
enabled an automatic merge when the pipeline for 55a5d4da succeeds
merged
mentioned in commit b35278d8