enabled an automatic merge when the pipeline for 7b767d05 succeeds
merged
mentioned in commit a1aead28