enabled an automatic merge when the pipeline for 47889b33 succeeds
merged
mentioned in commit 5fd49ad9