enabled an automatic merge when the pipeline for 7e448ed1 succeeds
merged
mentioned in commit ad58b81d