{"push_id":573387356,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2107187786e66a1e3bd1a341eed88f9d8c374baf","before":"1221712e5c1f299fd41a3bd545e74e0f1828884f","commits":[{"sha":"2107187786e66a1e3bd1a341eed88f9d8c374baf","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"update makefile","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/2107187786e66a1e3bd1a341eed88f9d8c374baf"}]}