See #17 (closed).
enabled an automatic merge when the pipeline for dd5a63ac succeeds
merged
mentioned in commit 14a7f602