This is a cleanup MR of the previously merged !138 (merged)
enabled an automatic merge when the pipeline for 0280d7c4 succeeds
mentioned in commit 082238e9
merged