assigned to @vermaas
enabled an automatic merge when the pipeline for 187b786a succeeds
mentioned in commit c9cd1895
merged
mentioned in commit 6b1263f3