enabled an automatic merge when the pipeline for 519b06bb succeeds
merged
mentioned in commit f74e1f1d