See issue #44 (closed)
Pipeline #1525 passed with warnings
Pipeline passed with warnings for 132b0561 on issue-44 2 years ago
Pipeline #1526 passed with warnings
Pipeline passed with warnings for 819b0d08 on master 2 years ago
enabled an automatic merge when the pipeline for 132b0561 succeeds
merged
mentioned in commit 819b0d08