enabled an automatic merge when the pipeline for f98719ea succeeds
mentioned in commit 83229d70
merged