See #5 (closed) for details.
enabled an automatic merge when the pipeline for 41f82804 succeeds
merged
mentioned in commit af49f7f4