{"push_id":669596946,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5f41c39a2cc0a7a52d2bed166cf2e4cc47779288","before":"4157522e8dd335c1394097f3c76d30def5f36543","commits":[{"sha":"5f41c39a2cc0a7a52d2bed166cf2e4cc47779288","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"next: debug 06","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/lh-workshop/commits/5f41c39a2cc0a7a52d2bed166cf2e4cc47779288"}]}