enabled an automatic merge when the pipeline for 0b5a842b succeeds
merged
mentioned in commit f03194cd