enabled an automatic merge when the pipeline for b1eb5fdf succeeds
mentioned in commit ab04539d
merged