enabled an automatic merge when the pipeline for 1f5bcdd7 succeeds
mentioned in commit 26c8b569
merged