{"push_id":710609936,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9356fab7f8ffeb457d7852ac455a54d12feb3e6a","before":"d74bf47a47baa8784c6c76ee4cc207ede6bf850e","commits":[{"sha":"e31651c07faabd4c7573c47a249c61ff7a82602d","author":{"email":"d3096483a54606dd7bd89683ba097c6e733ad0e0@oracle.com","name":"David L. Rager"},"message":"From Russinoff: improvements to RTL Rel11","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/e31651c07faabd4c7573c47a249c61ff7a82602d"},{"sha":"9356fab7f8ffeb457d7852ac455a54d12feb3e6a","author":{"email":"48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","name":"David L. Rager"},"message":"Merge pull request #424 from ragerdl/rtl\n\nFrom Russinoff: improvements to RTL Rel11","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/9356fab7f8ffeb457d7852ac455a54d12feb3e6a"}]}