enabled an automatic merge when the pipeline for fd4a3f83 succeeds
merged
mentioned in commit d7a74ce1