enabled an automatic merge when the pipeline for 825d2615 succeeds
merged
mentioned in commit 7ed6c166