enabled an automatic merge when the pipeline for 8dfb1e71 succeeds
merged
mentioned in commit f71ab3b3