jupiterrr
Re:GitHub's new text editor leaked on Twitter
on Wednesday February 26, 2014 @09:43AM (#7305159)
It seems that Holman has already used it 5 months ago.
https://github.com/holman/feedback/issues/432