GitHub's new text editor leaked on Twitter 12 years agoIt seems that Holman has already used it 5 months ago. https://github.com/holman/feedback/issues/432 0ThreadHN