enabled an automatic merge when the pipeline for 82f89049 succeeds
merged
mentioned in commit 1fd0d7ca