As per #102 (closed)
assigned to @Diziet
enabled an automatic merge when the pipeline for 8fd91e56 succeeds
mentioned in commit 385ac1bd
merged