On Tue, Jul 7, 2020, at 13:13, Anton Khirnov wrote: > > But be very careful to not make them mandatory. > > +1 > Any change that makes it necessary to use a web browser for development > a big step back IMO. Github has a quite nice CLI, so you don't need the web part for that. Best, -- Jean-Baptiste Kempf - President +33 672 704 734