enabled an automatic merge when the pipeline for 28e7707b succeeds
merged
mentioned in commit 8717581e