See #18 (closed) for info
enabled an automatic merge when the pipeline for 48b37437 succeeds
merged
mentioned in commit 13d3d99a