Merge details
enabled an automatic merge when the pipeline for add775e6 succeeds
mentioned in commit 3e44bdce
merged