{"push_id":639498093,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"05b8f9df034d2fb8ce10d2bfd609e9e72700c0d3","before":"c566ca4eed17dd9a610a1c3f8ce6dc7aad79bca2","commits":[{"sha":"aa266e8871055460c18170bfb8e8158984b00b27","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"avoid wash-memory and clear-hash-tables, toward their removal","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/aa266e8871055460c18170bfb8e8158984b00b27"},{"sha":"05b8f9df034d2fb8ce10d2bfd609e9e72700c0d3","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/origin/master'","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/05b8f9df034d2fb8ce10d2bfd609e9e72700c0d3"}]}