CodeMirror dev repository: the central development hub for the CodeMirror code editor library, holding the issue tracker and build scripts for its JavaScript packages.
