assigned to @joaol09
enabled an automatic merge when the pipeline for 8bc2805a succeeds
merged
mentioned in commit a5ef63a7