enabled an automatic merge when the pipeline for deb24f44 succeeds
merged
mentioned in commit 44201f6e