assigned to @492988
enabled an automatic merge when the pipeline for 1488cf80 succeeds
mentioned in commit 0ead1010
merged