enabled an automatic merge when the pipeline for 8f65f1e5 succeeds
mentioned in commit 28a1e0f4
merged