enabled an automatic merge when the pipeline for a0e56f5b succeeds
merged
mentioned in commit dabb7d6c