Something I messed up in the dune MR.
enabled an automatic merge when the pipeline for abf21ce7 succeeds
mentioned in commit 26ca5cff
merged