fix issue #19 (closed)
enabled an automatic merge when the pipeline for 17f8e6ed succeeds
mentioned in commit ef792a9b
merged