{"push_id":2483843000,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"617694e624838a0573fe42fa8d14ed081966e62b","before":"fe6fa11ad734d78c10d7b6877efc7e60a2da27d0","commits":[{"sha":"12b2d68bb8af6a420989311e418dca48cc0656e7","author":{"name":"Cuong Kim Chau","email":"a322d97b85d4f85ca402c9c5e30b049eef9fb705@cs.utexas.edu"},"message":"Reorganized the async books","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/12b2d68bb8af6a420989311e418dca48cc0656e7"},{"sha":"617694e624838a0573fe42fa8d14ed081966e62b","author":{"name":"MattKaufmann","email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu"},"message":"Merge pull request #837 from myall86/master\n\nReorganized the async books","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/617694e624838a0573fe42fa8d14ed081966e62b"}]}
{"actor":{"display_login":"acl2jenkins"}}