enabled an automatic merge when the pipeline for 1ee395eb succeeds
mentioned in commit 5dec9fe4
merged