enabled an automatic merge when the pipeline for efeb255f succeeds
mentioned in commit e904125a
merged
Beautiful, thanks, Ralf
