enabled an automatic merge when the pipeline for b39fd0bf succeeds
mentioned in commit 95ed1c7e
merged