This reverts commit 0a37ab69
enabled an automatic merge when the pipeline for 694d43ed succeeds
merged