enabled an automatic merge when the pipeline for 3c37f7fb succeeds
By Cresson Remi on 2024-11-29T21:19:52
merged
mentioned in commit 96a0297c
By Cresson Remi on 2024-11-29T21:19:56