{"push_id":642773565,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4899b3c1e17d0a682184abf8bc16529c0b6e0372","before":"b6385ea22ffdd79546b12a6d5bd1a440af6161ba","commits":[{"sha":"464eb6d84cbb0c7bcbc56633ffcc259bd5a521bb","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(js/input-method.js): update","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/464eb6d84cbb0c7bcbc56633ffcc259bd5a521bb"},{"sha":"4899b3c1e17d0a682184abf8bc16529c0b6e0372","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(juicy-ace-editor.html): turn on wordwrap\n\nClose #93\n\nIt turns out that the buggy behavior only happens with wordwrap. It\nseems that internally a horizontal scrollbar is created after the height\nis fixed. Then we have this vertical scroll behavior as a result. This\nfix turns on word-wrap, which prevents horizontal scrolling.","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/4899b3c1e17d0a682184abf8bc16529c0b6e0372"}]}