{"push_id":809252786,"size":1,"distinct_size":1,"ref":"refs/heads/simple_tutorial","head":"9f79b59d918c1c5834c18c2d8dcbadf112307b8f","before":"a9872cad55ab29e7d9c8ce43536518ca7e3503c6","commits":[{"sha":"9f79b59d918c1c5834c18c2d8dcbadf112307b8f","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"print/increment working","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/9f79b59d918c1c5834c18c2d8dcbadf112307b8f"}]}