What text editor is used on github?

Question

Web development

What editor is used on github?

It looks like Summernote, but it doesn't seem like it.

Answer 1

Here they say that this editor is used:
https://github.com/ajaxorg/ace
https://ace.c9.io/#nav=about
But this is not exactly yet.

Answer 2

Not at all like Summernote, it's just a textarea + toolbar for markup, and Summernote generates html:
https://github.com/nikolas/markdown-toolbar
https://nikolas.github.io/markdown-toolbar/