{"push_id":549613112,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"550ac2a2e93520ecb0a3a4cd4b42d6f784503617","before":"a2f8d90a8a206ffe484e1a7c6c712c9c6ad3ad58","commits":[{"sha":"8d828fd874510b92a4fc1b143dfcb8f1688c9126","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"doc(README.md): add how to test lean code","distinct":true,"url":"https://api.github.com/repos/UlrikBuchholtz/tutorial/commits/8d828fd874510b92a4fc1b143dfcb8f1688c9126"},{"sha":"41b0d5b9fbe90be74e73006bef5e9e760ed0c51e","author":{"email":"79957c7fe85d3c95360faf96002824a5ec3eee06@gmail.com","name":"Ulrik Buchholtz"},"message":"feat(unixode.sty): add subscript 1,2","distinct":true,"url":"https://api.github.com/repos/UlrikBuchholtz/tutorial/commits/41b0d5b9fbe90be74e73006bef5e9e760ed0c51e"},{"sha":"493e90411852d1c53b2920b9f2947e165972afd8","author":{"email":"79957c7fe85d3c95360faf96002824a5ec3eee06@gmail.com","name":"Ulrik Buchholtz"},"message":"feat(unixode.sty): add \\vdash for turnstile symbol","distinct":true,"url":"https://api.github.com/repos/UlrikBuchholtz/tutorial/commits/493e90411852d1c53b2920b9f2947e165972afd8"},{"sha":"550ac2a2e93520ecb0a3a4cd4b42d6f784503617","author":{"email":"79957c7fe85d3c95360faf96002824a5ec3eee06@gmail.com","name":"Ulrik Buchholtz"},"message":"Merge branch 'master' of https://github.com/UlrikBuchholtz/tutorial","distinct":true,"url":"https://api.github.com/repos/UlrikBuchholtz/tutorial/commits/550ac2a2e93520ecb0a3a4cd4b42d6f784503617"}]}