enabled an automatic merge when the pipeline for 4e25b93b succeeds
mentioned in commit 06607b0e
merged