assigned to @joaol09
enabled an automatic merge when the pipeline for 3ab00bd5 succeeds
mentioned in commit 7795ccc8
merged