{"push_id":656599715,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"d0e1164865d84ba8cf357dfc88d3570d3d2c3012","before":"7f55479fd223c77be6c8246b6e5164907f60484e","commits":[{"sha":"094356448a4358d05e8b5f0145ca2d1d0b4f9e47","author":{"email":"de499f6a9a11851f96908a5d7ce07e2d2bfb5c11@gmail.com","name":"Radu Mereuta"},"message":"Adding /bin to the PATH in ktest, so test work even if the user didn't update his environment.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/094356448a4358d05e8b5f0145ca2d1d0b4f9e47"},{"sha":"6d54c30f22e5d93808e199304313a263369459cb","author":{"email":"de499f6a9a11851f96908a5d7ce07e2d2bfb5c11@gmail.com","name":"Radu Mereuta"},"message":"Removing forgotten print.","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/6d54c30f22e5d93808e199304313a263369459cb"},{"sha":"d0e1164865d84ba8cf357dfc88d3570d3d2c3012","author":{"email":"de499f6a9a11851f96908a5d7ce07e2d2bfb5c11@gmail.com","name":"Radu Mereuta"},"message":"Merge pull request #1492 from kframework/fix1498\n\nAdding /bin to the PATH in ktest","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/d0e1164865d84ba8cf357dfc88d3570d3d2c3012"}]}