assigned to @j.wuttke
enabled an automatic merge when the pipeline for 1501ac27 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for 30affd3f succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for b7a85661 succeeds
merged
mentioned in commit e20da71a