enabled an automatic merge when the pipeline for 7b0476de succeeds
merged
mentioned in commit fc49f019