{"push_id":837269594,"size":1,"distinct_size":1,"ref":"refs/heads/tutorial-kool","head":"9f47c80aadcf359c90e331106a73211f7e0fe70b","before":"7b551511247836d2bceff7d4621df69eb8d2bc31","commits":[{"sha":"9f47c80aadcf359c90e331106a73211f7e0fe70b","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"consider grigore's comments","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/9f47c80aadcf359c90e331106a73211f7e0fe70b"}]}