This partly resolves #579 (closed).
enabled an automatic merge when the pipeline for 220699d3 succeeds
merged
mentioned in commit 89ec6c4a