enabled an automatic merge when the pipeline for 0745c050 succeeds
merged
mentioned in commit 86a299b7