enabled an automatic merge when the pipeline for bdea96ae succeeds
mentioned in commit f8985066
merged