enabled an automatic merge when the pipeline for 8922e76c succeeds
merged
mentioned in commit c358fb5c