enabled an automatic merge when the pipeline for f0c3dacb succeeds
merged
mentioned in commit dd43ae44
mentioned in commit c1c9a5a2