enabled an automatic merge when the pipeline for 12cdf4d0 succeeds
merged
mentioned in commit 1efd4fef
changed milestone to %7.1.0