enabled an automatic merge when the pipeline for 9ddce42e succeeds
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 4c526d14 succeeds
merged
mentioned in commit d386a0b2