enabled an automatic merge when the pipeline for 11f3e7fe succeeds
mentioned in issue #42 (closed)
merged