enabled an automatic merge when the pipeline for 3a0ebe2a succeeds
merged
mentioned in commit 07b52bf9