enabled an automatic merge when the pipeline for b91bccb8 succeeds
mentioned in commit 5d5ceffc
merged