enabled an automatic merge when the pipeline for 083bf5a5 succeeds
merged
mentioned in commit acc8dc35