enabled an automatic merge when the pipeline for 63c91453 succeeds
mentioned in commit 52e30447
merged