enabled an automatic merge when the pipeline for 639559ce succeeds
mentioned in commit f07e8b81
merged