{"push_id":670963557,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e715140397a8690412ba5d9e545a55cfc1519ac","before":"1148e1a4ca8676e204f41e6394a01855c2362e91","commits":[{"sha":"9e715140397a8690412ba5d9e545a55cfc1519ac","author":{"email":"bcf5e6cab6556015e11d1a350044235371b97159@k-state.edu","name":"Robby"},"message":"Replaced asm.jar with asm-all.jar.","distinct":true,"url":"https://api.github.com/repos/sireum/prelude/commits/9e715140397a8690412ba5d9e545a55cfc1519ac"}]}