enabled an automatic merge when the pipeline for 87ceb024 succeeds
merged
mentioned in commit a782b3e2