We are in 2021. Since 6 months.
enabled an automatic merge when the pipeline for d5ecb72a succeeds
mentioned in commit a5ecdd10