enabled an automatic merge when the pipeline for 4f02f8bb succeeds
merged
mentioned in commit 99c404a7