See #8 (closed) for details.
enabled an automatic merge when the pipeline for fad2b957 succeeds
merged
mentioned in commit 31621d70