+1 - sounds like a good idea. Regards Julian
On Tue, Jan 12, 2021 at 3:23 PM Bertrand Delacretaz <[email protected]> wrote: > > On Tue, Jan 12, 2021 at 2:24 PM Robert Munteanu <[email protected]> wrote: > > ...I propose that we use this workflow from now on as it much simpler for > > contributors... > > +1, I have used it a few times already and it looks good! > > -Bertrand
