enabled an automatic merge when the pipeline for 20daf0d1 succeeds
merged
mentioned in commit 28d4befd