{"push_id":573371020,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8b71937bb6c0c071259ec18d3008a77767db35b2","before":"d19890f8022d24b27a69aff591442e9befa57733","commits":[{"sha":"687b5128121b690665b9e46d663fdfade87c462f","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"update verification.out","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/687b5128121b690665b9e46d663fdfade87c462f"},{"sha":"8b71937bb6c0c071259ec18d3008a77767db35b2","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Merge branch 'tmp'","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/8b71937bb6c0c071259ec18d3008a77767db35b2"}]}