Closed sbidoul closed 2 years ago
Any reason to not merge this @sbidoul?
Forgot... I want a "merge when green" button 😉
I’ve enabled auto merge.
Any reason to not merge this @sbidoul?