Closes #231 (closed)
enabled an automatic merge when the pipeline for a919a218 succeeds
merged
mentioned in commit a7de4e25