enabled an automatic merge when the pipeline for 25f8a13d succeeds
merged
mentioned in commit 975c12bf