3 ms·Does anyone know what GitHub uses for their editor?by smaili 11y agoDoes anyone know what GitHub uses for their editor?