enabled an automatic merge when the pipeline for 51e7b3ca succeeds
merged
mentioned in commit 5423cc0d