Merge details
enabled an automatic merge when the pipeline for a74e899d succeeds
mentioned in commit 14052c85
merged