{"push_id":542903175,"size":4,"distinct_size":4,"ref":"refs/heads/work","head":"eee0f7643458f54f48a516f6ee3a451e5d3f9ed4","before":"308af0d263dbb7d5dac35f73418add7d485ed010","commits":[{"sha":"0e3f88bfe452e7f5445bd6c091e317265f8d5b32","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"fix Id in @Cons","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/0e3f88bfe452e7f5445bd6c091e317265f8d5b32"},{"sha":"09269f5ea726af4b0ae516ecbf5edce2d649deb1","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Remove unnecessary sort casting","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/09269f5ea726af4b0ae516ecbf5edce2d649deb1"},{"sha":"97bec1783ae4bfdda12de50f73da64b1163b93b6","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Remove unnecessary sort casting (cont)","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/97bec1783ae4bfdda12de50f73da64b1163b93b6"},{"sha":"eee0f7643458f54f48a516f6ee3a451e5d3f9ed4","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Remove unnecessary seqstrict arguments","distinct":true,"url":"https://api.github.com/repos/kframework/javascript-semantics/commits/eee0f7643458f54f48a516f6ee3a451e5d3f9ed4"}]}