assigned to @jung
enabled an automatic merge when the pipeline for 151faf22 succeeds
merged
mentioned in commit ee671e0a