Closes #555 (closed)
enabled an automatic merge when the pipeline for ad8984db succeeds
merged
mentioned in commit f5425572