{"push_id":609589102,"size":1,"distinct_size":1,"ref":"refs/heads/codemirror","head":"7cb2b4075d9e728e3285c5dd0ab0ea63cb2751c2","before":"639ee5658f6c28abcca26e2d62e73e92e417b2fd","commits":[{"sha":"7cb2b4075d9e728e3285c5dd0ab0ea63cb2751c2","author":{"email":"2482aaa2eee45d6be60baf772c2e97d131d9ad93@student.uclouvain.be","name":"Guillaume Derval"},"message":"Switch to CodeMirror (replacing Ace Editor).\n- CodeMirror has a lot more languages supported\n  - Main reason for change: RST and Dockerfile\n- This drops Oz highlighting support (should be easy to reintroduce)\n- Simpler to use than Ace\n- Uses directly textarea, degrades gracefully (unlike ACE)","distinct":true,"url":"https://api.github.com/repos/GuillaumeDerval/INGInious/commits/7cb2b4075d9e728e3285c5dd0ab0ea63cb2751c2"}]}