enabled an automatic merge when the pipeline for f01dce99 succeeds
merged
mentioned in commit 2312f6c1