{"push_id":738590106,"size":1,"distinct_size":0,"ref":"refs/heads/testing","head":"9ec5205895ccc3032e1661f660b9439e57f4b07e","before":"1de3233f4d67174a4a0ebc07150a5ff0cb9706f1","commits":[{"sha":"9ec5205895ccc3032e1661f660b9439e57f4b07e","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"compatibility patch to new oracle-timing stuff","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/9ec5205895ccc3032e1661f660b9439e57f4b07e"}]}