enabled an automatic merge when the pipeline for 53c40d88 succeeds
mentioned in commit dbbb4287
merged