assigned to @joaol09
enabled an automatic merge when the pipeline for 8dadb7ef succeeds
mentioned in commit 716fbf52
merged