closes #544 (closed)
enabled an automatic merge when the pipeline for 00ad97fc succeeds
mentioned in commit e14a1584
merged