enabled an automatic merge when the pipeline for a1edc381 succeeds
merged
mentioned in commit 5de2ce8a