enabled an automatic merge when the pipeline for 4894a358 succeeds
merged
mentioned in commit a3da4276