enabled an automatic merge when the pipeline for 1fd72296 succeeds
merged
mentioned in commit 859b4f5b